Sylvan Clebsch

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 22

Top Topics

Internet And The World Wide Web

Memory Management

Message Delivery

Integrity Verification

Top Venues

Proc. ACM Program. Lang.

Publications

Matthew J. Parkinson, Sylvan Clebsch, Tobias Wrigstad
Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract. ISMM (2024)
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
Why Should I Trust Your Code? Commun. ACM 67 (1) (2024)
Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
Confidential Container Groups: Implementing confidential computing on Azure container instances. ACM Queue 22 (2) (2024)
Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
COCOAEXPO: Confidential Containers via Attested Execution Policies. CoRR (2023)
Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, Paul Liétar
When Concurrency Matters: Behaviour-Oriented Concurrency. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad
Reference Capabilities for Flexible Memory Management. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manual Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. Proc. VLDB Endow. 17 (2) (2023)
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
Why Should I Trust Your Code?: Confidential computing enables users to authenticate code running in TEEs, but users also need evidence this code is trustworthy. ACM Queue 21 (4) (2023)
Matthew J. Parkinson, Sylvan Clebsch, Ben Simner
Wait-Free Weak Reference Counting. ISMM (2023)
Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad
Reference Capabilities for Flexible Memory Management: Extended Version. CoRR (2023)
Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus A. Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. CoRR (2023)
Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
IA-CCF: Individual Accountability for Permissioned Ledgers. NSDI (2022)
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
Toward confidential cloud computing. Commun. ACM 64 (6) (2021)
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use. ACM Queue 19 (1) (2021)
Alex Shamis, Peter R. Pietzuch, Miguel Castro, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Cédric Fournet, Matthew Kerner, Julien Maffre, Manuel Costa, Mark Russinovich
PAC: Practical Accountability for CCF. CoRR (2021)
Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cédric Fournet, Rebecca Burke-Aguero, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, John Deutscher, Shabnam Erfani, Matt Gaylor, Andrew Jenks, Kevin Kane, Elissa M. Redmiles, Alex Shamis, Isha Sharma, John C. Simmons, Sam Wenker, Anika Zaman
AMP: authentication of media via provenance. MMSys (2021)
Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cédric Fournet, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Shabnam Erfani, Kevin Kane, Alex Shamis
AMP: Authentication of Media via Provenance. CoRR (2020)
Paul Liétar, Theodore Butler, Sylvan Clebsch, Sophia Drossopoulou, Juliana Franco, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger, David Chisnall
snmalloc: a message passing allocator. ISMM (2019)
Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad
Correctness of a Concurrent Object Collector for Actor Languages. ESOP (2018)
Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek
Orca: GC and type system co-design for actor languages. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Sebastian Blessing, Sylvan Clebsch, Sophia Drossopoulou
Tree topologies for causal message delivery. AGERE!@SPLASH (2017)
Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil
Deny capabilities for safe, fast actors. AGERE!@SPLASH (2015)
Sylvan Clebsch, Sophia Drossopoulou
Fully concurrent garbage collection of actors on many-core machines. OOPSLA (2013)