🏠
홈
📊
트렌드
🏆
논문
👤
마이
💬 문의
CS-
Pedia
Trends
Best Papers
Best Papers
/
CSF
CSF Best Papers
IEEE Computer Security Foundations Symposium
9 papers · 2021–2024
← CSF Conference Info
🏆
2024
(2)
Distinguished Paper Award
Deciding branching hyperproperties for real time systems
Nabarun DekaMinjian ZhangRohit ChadhaMahesh Viswanathan
Distinguished Paper Award
Explaining epsilon in local differential privacy through the lens of quantitative information flow
Natasha FernandesAnnabelle McIverParastoo Sadeghi
Differential Privacy
Privacy
🏆
2023
(2)
Distinguished Paper Award
Indistinguishability Beyond Diff-Equivalence in ProVerif
Vincent ChevalItsaka Rakotonirina
Distinguished Paper Award
Smart Contract Synthesis Modulo Hyperproperties
Norine CoenenBernd FinkbeinerJana HofmannJulia Tillman
Smart Contracts
🏆
2022
(2)
Distinguished Paper Award
Applying consensus and replication securely with FLAQR
Priyanka MondalMaximilian AlgehedOwen Arden
Distinguished Paper Award
Cracking the Stateful Nut -- Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant
David BaeldeStephanie DelauneAdrien KoutsosSolène Moreau
Proof Assistants
🏆
2021
(3)
Distinguished Paper Award
A Quantale of Information
Sebastian HuntDavid Sands
Distinguished Paper Award
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Carmine AbatePhilipp G. HaselwarterExequiel RivasAntoine Van MuylderThéo WinterhalterCatalin HritcuKenji MaillardBas Spitters
Proof Assistants
Distinguished Paper Award
Verifying Hyperproperties with TLA
Leslie LamportFred B. Schneider