🏠홈📊트렌드🏆논문👤마이
🎓
CS-Pedia
TrendsBest Papers
CS Conference Hub

Deadlines, Rankings
& Best Papers — all in one.

Acceptance rates · Best papers · Conference deadlines for CS researchers

Best Papers/CSF

CSF Best Papers

IEEE Computer Security Foundations Symposium

9 papers · 2021–2024

← CSF 학회 정보

🏆 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 PrivacyPrivacy

🏆 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

CS-Pedia — 한국 CS 연구자를 위한 학회 통합 플랫폼

데이터 출처: DBLP (CC0), OpenAlex (CC0), Semantic Scholar, aideadlin.es (MIT), 한국연구재단, 한국정보과학회, jeffhuang.com

제출 전 데드라인·학회 일정은 공식 웹사이트에서 반드시 확인하세요.

소개·개인정보 처리방침·이용약관·문의