Sunjay Cauligi
AuthID: R-00K-HJ2
1
TITLE: SoK: Practical Foundations for Software Spectre Defenses
AUTHORS: Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe ; Deian Stefan;
PUBLISHED: 2022, SOURCE: 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022
AUTHORS: Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe ; Deian Stefan;
PUBLISHED: 2022, SOURCE: 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022
INDEXED IN: 
DBLP
DBLP2
TITLE: High-Assurance Cryptography in the Spectre Era
AUTHORS: Gilles Barthe ; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira; Swarn Priya; Tamara Rezk; Peter Schwabe;
PUBLISHED: 2021, SOURCE: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021
AUTHORS: Gilles Barthe ; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira; Swarn Priya; Tamara Rezk; Peter Schwabe;
PUBLISHED: 2021, SOURCE: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021
INDEXED IN: DBLP
DBLP3
TITLE: SoK: Practical Foundations for Spectre Defenses
AUTHORS: Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe ; Deian Stefan;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.05801
AUTHORS: Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe ; Deian Stefan;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.05801
INDEXED IN: DBLP
DBLP4
TITLE: Constant-time foundations for the new spectre era
AUTHORS: Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Dean M Tullsen; Deian Stefan; Tamara Rezk; Gilles Barthe ;
PUBLISHED: 2020, SOURCE: Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020
AUTHORS: Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Dean M Tullsen; Deian Stefan; Tamara Rezk; Gilles Barthe ;
PUBLISHED: 2020, SOURCE: Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020
INDEXED IN: DBLP
DBLP5
TITLE: High-Assurance Cryptography Software in the Spectre Era
AUTHORS: Gilles Barthe ; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira; Swarn Priya; Tamara Rezk; Peter Schwabe;
PUBLISHED: 2020, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2020
AUTHORS: Gilles Barthe ; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira; Swarn Priya; Tamara Rezk; Peter Schwabe;
PUBLISHED: 2020, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2020
INDEXED IN: DBLP
DBLP6
TITLE: FaCT: a DSL for timing-sensitive computation
AUTHORS: Sunjay Cauligi; Gary Soeller; Brian Johannesmeyer; Fraser Brown; Riad S Wahby; John Renner; Benjamin Grégoire; Gilles Barthe ; Ranjit Jhala; Deian Stefan;
PUBLISHED: 2019, SOURCE: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019.
AUTHORS: Sunjay Cauligi; Gary Soeller; Brian Johannesmeyer; Fraser Brown; Riad S Wahby; John Renner; Benjamin Grégoire; Gilles Barthe ; Ranjit Jhala; Deian Stefan;
PUBLISHED: 2019, SOURCE: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019.
INDEXED IN: DBLP
DBLP7
TITLE: Towards Constant-Time Foundations for the New Spectre Era PDF
AUTHORS: Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Deian Stefan; Tamara Rezk; Gilles Barthe ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1910.01755
AUTHORS: Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Deian Stefan; Tamara Rezk; Gilles Barthe ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1910.01755
INDEXED IN: DBLP 
arXiv
DBLP arXiv