Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/csfw/csf2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/csfw/AkaviaGSWY23,
author = {Adi Akavia and
Ben Galili and
Hayim Shaul and
Mor Weiss and
Zohar Yakhini},
title = {Efficient Privacy-Preserving Viral Strain Classification via k-mer
Signatures and {FHE}},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {489--504},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00012},
doi = {10.1109/CSF57540.2023.00012},
timestamp = {Tue, 05 Sep 2023 20:33:27 +0200},
biburl = {https://dblp.org/rec/conf/csfw/AkaviaGSWY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AndersonBLPT23,
author = {Sean Noble Anderson and
Roberto Blanco and
Leonidas Lampropoulos and
Benjamin C. Pierce and
Andrew Tolmach},
title = {Formalizing Stack Safety as a Security Property},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {356--371},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00037},
doi = {10.1109/CSF57540.2023.00037},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/AndersonBLPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BaeldeDD23,
author = {David Baelde and
Alexandre Debant and
St{\'{e}}phanie Delaune},
title = {Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {75--90},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00022},
doi = {10.1109/CSF57540.2023.00022},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/BaeldeDD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BalogluBMP23,
author = {Sevdenur Baloglu and
Sergiu Bursuc and
Sjouke Mauw and
Jun Pang},
title = {Election Verifiability in Receipt-Free Voting Protocols},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {59--74},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00005},
doi = {10.1109/CSF57540.2023.00005},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/BalogluBMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BatyWHFT23,
author = {Matthieu Baty and
Pierre Wilke and
Guillaume Hiet and
Arnaud Fontaine and
Alix Trieu},
title = {A Generic Framework to Develop and Verify Security Mechanisms at the
Microarchitectural Level: Application to Control-Flow Integrity},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {372--387},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00029},
doi = {10.1109/CSF57540.2023.00029},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/BatyWHFT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BlaabjergA23,
author = {Jeppe Fredsgaard Blaabjerg and
Aslan Askarov},
title = {OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded
Traffic Overheads},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {292--307},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00014},
doi = {10.1109/CSF57540.2023.00014},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/BlaabjergA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BrzuskaO23,
author = {Chris Brzuska and
Sabine Oechsner},
title = {A State-Separating Proof for Yao's Garbling Scheme},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {137--152},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00009},
doi = {10.1109/CSF57540.2023.00009},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/BrzuskaO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ChanCL23,
author = {Eric Chan and
Marek Chrobak and
Mohsen Lesani},
title = {Cross-Chain Swaps with Preferences},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {261--275},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00031},
doi = {10.1109/CSF57540.2023.00031},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/ChanCL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ChatzikokolakisCPT23,
author = {Konstantinos Chatzikokolakis and
Giovanni Cherubin and
Catuscia Palamidessi and
Carmela Troncoso},
title = {Bayes Security: {A} Not So Average Metric},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {388--406},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00011},
doi = {10.1109/CSF57540.2023.00011},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/ChatzikokolakisCPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ChevalCD23,
author = {Vincent Cheval and
V{\'{e}}ronique Cortier and
Alexandre Debant},
title = {Election Verifiability with ProVerif},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {43--58},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00032},
doi = {10.1109/CSF57540.2023.00032},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/ChevalCD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ChevalR23,
author = {Vincent Cheval and
Itsaka Rakotonirina},
title = {Indistinguishability Beyond Diff-Equivalence in ProVerif},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {184--199},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00036},
doi = {10.1109/CSF57540.2023.00036},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/ChevalR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ChowELRW23,
author = {Sherman S. M. Chow and
Christoph Egger and
Russell W. F. Lai and
Viktoria Ronge and
Ivy K. Y. Woo},
title = {On Sustainable Ring-Based Anonymous Systems},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {568--583},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00035},
doi = {10.1109/CSF57540.2023.00035},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/ChowELRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/CoenenFHT23,
author = {Norine Coenen and
Bernd Finkbeiner and
Jana Hofmann and
Julia J. Tillman},
title = {Smart Contract Synthesis Modulo Hyperproperties},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {276--291},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00006},
doi = {10.1109/CSF57540.2023.00006},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/CoenenFHT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/CremersJL23,
author = {Cas Cremers and
Charlie Jacomme and
Philip Lukert},
title = {Subterm-Based Proof Techniques for Improving the Automation and Scope
of Security Protocol Analysis},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {200--213},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00001},
doi = {10.1109/CSF57540.2023.00001},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/CremersJL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/DerakhshanZVJ23,
author = {Farzaneh Derakhshan and
Zichao Zhang and
Amit Vasudevan and
Limin Jia},
title = {Towards End-to-End Verified TEEs via Verified Interface Conformance
and Certified Compilers},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {324--339},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00021},
doi = {10.1109/CSF57540.2023.00021},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/DerakhshanZVJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/Dibbo23,
author = {Sayanton V. Dibbo},
title = {SoK: Model Inversion Attack Landscape: Taxonomy, Challenges, and Future
Roadmap},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {439--456},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00027},
doi = {10.1109/CSF57540.2023.00027},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/Dibbo23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/FaustHKS23,
author = {Sebastian Faust and
Carmit Hazay and
David Kretzler and
Benjamin Schlosser},
title = {Statement-Oblivious Threshold Witness Encryption},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {17--32},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00026},
doi = {10.1109/CSF57540.2023.00026},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/FaustHKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/FirsovU23,
author = {Denis Firsov and
Dominique Unruh},
title = {Zero-Knowledge in EasyCrypt},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {1--16},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00015},
doi = {10.1109/CSF57540.2023.00015},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/FirsovU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/FraserGQ23,
author = {Ashley Fraser and
Lydia Garms and
Elizabeth A. Quaglia},
title = {On the Incoercibility of Digital Signatures},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {153--168},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00018},
doi = {10.1109/CSF57540.2023.00018},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/FraserGQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HollerBS23,
author = {Sebastian Holler and
Sebastian Biewer and
Clara Schneidewind},
title = {HoRStify: Sound Security Analysis of Smart Contracts},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {245--260},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00023},
doi = {10.1109/CSF57540.2023.00023},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/HollerBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HumphriesOTRGHK23,
author = {Thomas Humphries and
Simon Oya and
Lindsey Tulloch and
Matthew Rafuse and
Ian Goldberg and
Urs Hengartner and
Florian Kerschbaum},
title = {Investigating Membership Inference Attacks under Data Dependencies},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {473--488},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00013},
doi = {10.1109/CSF57540.2023.00013},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/HumphriesOTRGHK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HvassAS23,
author = {Benjamin Salling Hvass and
Diego F. Aranha and
Bas Spitters},
title = {High-Assurance Field Inversion for Curve-Based Cryptography},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {552--567},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00008},
doi = {10.1109/CSF57540.2023.00008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/HvassAS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/JavarK23,
author = {Zahra Javar and
Bruce M. Kapron},
title = {Preimage Awareness in Linicrypt},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {33--42},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00017},
doi = {10.1109/CSF57540.2023.00017},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/JavarK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/JuradoGAP23,
author = {Mireya Jurado and
Ramon G. Gonze and
M{\'{a}}rio S. Alvim and
Catuscia Palamidessi},
title = {Analyzing the Shuffle Model Through the Lens of Quantitative Information
Flow},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {423--438},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00033},
doi = {10.1109/CSF57540.2023.00033},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/JuradoGAP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/LanckrietBD23,
author = {Emiel Lanckriet and
Matteo Busi and
Dominique Devriese},
title = {{\textdollar}{\textbackslash}pi{\_}\{{\textbackslash}mathbf\{RA\}\}{\textdollar}:
{A} {\textdollar}{\textbackslash}pi{\textbackslash}text\{-calculus\}{\textdollar}
for Verifying Protocols that Use Remote Attestation},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {537--551},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00019},
doi = {10.1109/CSF57540.2023.00019},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/LanckrietBD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/MangipudiLPK23,
author = {Easwar Vivek Mangipudi and
Donghang Lu and
Alexandros Psomas and
Aniket Kate},
title = {Collusion-Deterrent Threshold Information Escrow},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {584--599},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00010},
doi = {10.1109/CSF57540.2023.00010},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/MangipudiLPK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/MedleyLQ23,
author = {Liam Medley and
Angelique Faye Loe and
Elizabeth A. Quaglia},
title = {SoK: Delay-Based Cryptography},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {169--183},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00028},
doi = {10.1109/CSF57540.2023.00028},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/MedleyLQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/PatrignaniB23,
author = {Marco Patrignani and
Sam Blackshear},
title = {Robust Safety for Move},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {308--323},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00045},
doi = {10.1109/CSF57540.2023.00045},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/PatrignaniB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/PortelaPJP23,
author = {Bernardo Portela and
Hugo Pacheco and
Pedro Jorge and
Rog{\'{e}}rio Pontes},
title = {General-Purpose Secure Conflict-free Replicated Data Types},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {521--536},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00030},
doi = {10.1109/CSF57540.2023.00030},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/PortelaPJP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/RainAKM23,
author = {Sophie Rain and
Georgia Avarikioti and
Laura Kov{\'{a}}cs and
Matteo Maffei},
title = {Towards a Game-Theoretic Security Analysis of Off-Chain Protocols},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {107--122},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00003},
doi = {10.1109/CSF57540.2023.00003},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/RainAKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/RanchalPedrosaG23,
author = {Alejandro Ranchal{-}Pedrosa and
Vincent Gramoli},
title = {Basilic: Resilient-Optimal Consensus Protocols with Benign and Deceitful
Faults},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {91--106},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00002},
doi = {10.1109/CSF57540.2023.00002},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/RanchalPedrosaG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ReedR23,
author = {Andrew C. Reed and
Michael K. Reiter},
title = {Optimally Hiding Object Sizes with Constrained Padding},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {505--520},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00004},
doi = {10.1109/CSF57540.2023.00004},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/ReedR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/SakibAG23,
author = {Shahnewaz Karim Sakib and
George T. Amariucai and
Yong Guan},
title = {Variations and Extensions of Information Leakage Metrics with Applications
to Privacy Problems with Imperfect Statistical Information},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {407--422},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00007},
doi = {10.1109/CSF57540.2023.00007},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/SakibAG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/StoukaZ23,
author = {Aikaterini{-}Panagiota Stouka and
Thomas Zacharias},
title = {On the (De) centralization of FruitChains},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {229--244},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00020},
doi = {10.1109/CSF57540.2023.00020},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/StoukaZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/TakagiKCY23,
author = {Shun Takagi and
Fumiyuki Kato and
Yang Cao and
Masatoshi Yoshikawa},
title = {From Bounded to Unbounded: Privacy Amplification via Shuffling with
Dummies},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {457--472},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00034},
doi = {10.1109/CSF57540.2023.00034},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/TakagiKCY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/TsoupidiLTP23,
author = {Rodothea{-}Myrsini Tsoupidi and
Roberto Casta{\~{n}}eda Lozano and
Elena Troubitsyna and
Panagiotis Papadimitratos},
title = {Securing Optimized Code Against Power Side Channels},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {340--355},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00016},
doi = {10.1109/CSF57540.2023.00016},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/TsoupidiLTP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/WilsonAJ23,
author = {Johannes Wilson and
Mikael Asplund and
Niklas Johansson},
title = {Extending the Authentication Hierarchy with One-Way Agreement},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {214--228},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00025},
doi = {10.1109/CSF57540.2023.00025},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/WilsonAJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ZhangM23,
author = {Yunxiao Zhang and
Pasquale Malacaria},
title = {Keep Spending: Beyond Optimal Cyber-Security Investment},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {123--136},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00024},
doi = {10.1109/CSF57540.2023.00024},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/ZhangM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2023,
title = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023},
doi = {10.1109/CSF57540.2023},
isbn = {979-8-3503-2192-0},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-26 06:57 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
