Search results for: Cédric Fournet
2017 IEEE Symposium on Security and Privacy (SP) > 463 - 482
IEEE Security & Privacy > 2016 > 14 > 6 > 18 - 25
2016 IEEE Symposium on Security and Privacy (SP) > 235 - 254
2016 IEEE Symposium on Security and Privacy (SP) > 506 - 525
Lecture Notes in Computer Science > Foundations of Security Analysis and Design VI > Foundations of Security Analysis and Design > 66-100
Lecture Notes in Computer Science > FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science > Contributions > 397-408
Lecture Notes in Computer Science > Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics > Multiway synchronization verified with coupled simulation > 348-364
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > Invited Talk 2 > 122-141