Selected publications at LSV

@phdthesis{dallon-phd2018,
   author = {Dallon, Antoine},
   month = nov,
   school = {{\'E}cole Normale Sup{\'e}rieure Paris-Saclay, France},
   type = {Th{\`e}se de doctorat},
   title = {{Verification of indistinguishability properties in cryptographic protocols} -- {Small attacks and efficient decision with SAT-Equiv}},
   url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/dallon-phd18.pdf},
   year = {2018},
}

About LSV

Select by Year