@BOOK{cgUCL-R18,
 	AUTHOR={Rochet, Florentin},
	TITLE={{Diversity and Traffic Confirmation in the Tor Network}},
	BOOKTITLE={Ph.D Thesis},
	MONTH={9},
	YEAR={2018},
}

@ARTICLE{cgUCL-RP18,
 	AUTHOR={Rochet, Florentin and Pereira, Olivier},
	TITLE={{Dropping on the Edge: Flexibility and Traffic Confirmation in Onion Routing Protocols}},
	PUBLISHER={DE GRUYTER OPEN},
	EDITOR={Proceedings on Privacy Enhancing Technologies Symposium},
	JOURNAL={PoPETs},
	MONTH={7},
	YEAR={2018},
}

@INPROCEEDINGS{cgUCL-PRW17,
 	AUTHOR={Pereira, Olivier and Rochet, Florentin and Wiedling, Cyrille},
	TITLE={{Formal Analysis of the Fido 1.x Protocol}},
	PUBLISHER={Springer},
	EDITOR={The 10th International Symposium on Foundations & Practice of Security},
	SERIES={Lecture Notes in Computer Science (LNCS)},
	MONTH={10},
	YEAR={2017},
}

@ARTICLE{cgUCL-RP17,
 	AUTHOR={Rochet, Florentin and Pereira, Olivier},
	TITLE={{Waterfilling: Balancing the Tor network with maximum diversity}},
	JOURNAL={Proceedings on Privacy Enhancing Technologies},
	VOLUME={2017},
	MONTH={7},
	YEAR={2017},
}