Antoine Delignat-Lavaud
发表
Nikhil Swamy,
Chris Hawblitzel,
Rustan Leino,
2017,
SNAPL.
Nikhil Swamy,
Cédric Fournet,
Karthikeyan Bhargavan,
2017,
2017 IEEE Symposium on Security and Privacy (SP).
Yinglian Xie,
Antoine Delignat-Lavaud,
Ted Wobber,
2014,
NDSS.
Nikhil Swamy,
Cédric Fournet,
Karthikeyan Bhargavan,
2017,
Proc. ACM Program. Lang..
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2015
.
Pierre-Yves Strub,
Nikhil Swamy,
Cédric Fournet,
2015
.
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2014,
2014 IEEE Symposium on Security and Privacy.
Pierre-Yves Strub,
Nikhil Swamy,
Cédric Fournet,
2016,
POPL.
Antoine Delignat-Lavaud,
Markulf Kohlweiss,
Chris Brzuska,
2018,
IACR Cryptol. ePrint Arch..
Karthikeyan Bhargavan,
Antoine Delignat-Lavaud,
Sergio Maffeis,
2013,
POST.
Karthikeyan Bhargavan,
Antoine Delignat-Lavaud,
K. Bhargavan,
2012,
WOOT.
Karthikeyan Bhargavan,
Antoine Delignat-Lavaud,
K. Bhargavan,
2015,
WWW.
Cédric Fournet,
Bryan Parno,
Antoine Delignat-Lavaud,
2016,
2016 IEEE Symposium on Security and Privacy (SP).
Nikhil Swamy,
Cédric Fournet,
Antoine Delignat-Lavaud,
2019,
USENIX Security Symposium.
Karthikeyan Bhargavan,
Antoine Delignat-Lavaud,
Nadim Kobeissi,
2016
.
Yi Zhou,
Cédric Fournet,
Bryan Parno,
2020,
2021 IEEE Symposium on Security and Privacy (SP).
Alfredo Pironti,
Adam Langley,
Karthikeyan Bhargavan,
2015,
RFC.
Karthikeyan Bhargavan,
Antoine Delignat-Lavaud,
Ioana Boureanu,
2018,
2018 IEEE Symposium on Security and Privacy (SP).
Karthikeyan Bhargavan,
Antoine Delignat-Lavaud,
Nadim Kobeissi,
2017,
Financial Cryptography.
Alfredo Pironti,
Karthikeyan Bhargavan,
Antoine Delignat-Lavaud,
2015,
NDSS.
Karthikeyan Bhargavan,
Antoine Delignat-Lavaud,
Sergio Maffeis,
2013,
USENIX Security Symposium.
Karthikeyan Bhargavan,
Antoine Delignat-Lavaud,
Sergio Maffeis,
2013,
FOSAD.
Karthikeyan Bhargavan,
Antoine Delignat-Lavaud,
Sergio Maffeis,
2014,
J. Comput. Secur..
Nikhil Swamy,
Cédric Fournet,
Karthikeyan Bhargavan,
2016,
PLAS@CCS.
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2015,
2015 IEEE Symposium on Security and Privacy.
Alfredo Pironti,
Pierre-Yves Strub,
Cédric Fournet,
2015,
IEEE Symposium on Security and Privacy.
Cédric Fournet,
Antoine Delignat-Lavaud,
Markulf Kohlweiss,
2018,
ASIACRYPT.
Alfredo Pironti,
Karthikeyan Bhargavan,
Antoine Delignat-Lavaud,
2015,
WOOT.
Karthikeyan Bhargavan,
Antoine Delignat-Lavaud,
Sergio Maffeis,
2013
.
Nikhil Swamy,
Chris Hawblitzel,
Cédric Fournet,
2020,
2020 IEEE Symposium on Security and Privacy (SP).
Nikhil Swamy,
Cédric Fournet,
Antoine Delignat-Lavaud,
2016
.
Antoine Delignat-Lavaud,
Antoine Delignat-Lavaud,
2016
.
Christoph Egger,
Cédric Fournet,
Antoine Delignat-Lavaud,
2021,
IACR Cryptol. ePrint Arch..
Mark Russinovich,
Cédric Fournet,
Antoine Delignat-Lavaud,
2021,
ACM Queue.
Miguel Castro,
Mark Russinovich,
Antoine Delignat-Lavaud,
2021,
ArXiv.
Mark Russinovich,
Cédric Fournet,
Antoine Delignat-Lavaud,
2021,
Commun. ACM.