FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Algehed, Maximilian	Applying consensus and replication securely with FLAQR
Arden, Owen	Applying consensus and replication securely with FLAQR
Asplund, Mikael	Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol
B
Baelde, David	Cracking the Stateful Nut -- Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant
Basin, David	IFCIL: An Information Flow Configuration Language for SELinux N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures DPL: A Language for GDPR Enforcement
Beutner, Raven	Prophecy Variables for Hyperproperty Verification
Birkedal, Lars	Proving full-system security properties under multiple attacker models on capability machines
Blanco, Roberto	SecurePtrs: Proving Secure Compilation Using Data-Flow Back-Translation and Turn-Taking Simulation
Boeira, Felipe	Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol
Bonakdarpour, Borzoo	Mapping Synthesis for Hyperproperties
Braje, Timothy	Adversary Safety by Construction in a Language of Cryptographic Protocols
Bun, Mark	The Complexity of Verifying Boolean Programs as Differentially Private
Bursuc, Sergiu	Contingent payments from two-party signing and verification for abelian groups
C
Ceragioli, Lorenzo	IFCIL: An Information Flow Configuration Language for SELinux
Cheval, Vincent	Symbolic protocol verification with dice: process equivalences in the presence of probabilities
Chlipala, Adam	Adversary Safety by Construction in a Language of Cryptographic Protocols
Ciampi, Michele	Collusion-Preserving Computation without a Mediator
Cortier, Veronique	A small bound on the number of sessions for security protocols
Crubillé, Raphaëlle	Symbolic protocol verification with dice: process equivalences in the presence of probabilities
Cunningham, Robert	Adversary Safety by Construction in a Language of Cryptographic Protocols
D
Dallon, Antoine	A small bound on the number of sessions for security protocols
Degano, Pierpaolo	IFCIL: An Information Flow Configuration Language for SELinux
Delaune, Stephanie	A small bound on the number of sessions for security protocols Cracking the Stateful Nut -- Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant So near and yet so far: formal verification of distance bounding protocols
Derek, Ante	Conditional Observational Equivalence and Off-line Guessing Attacks in Multiset Rewriting
Devriese, Dominique	Proving full-system security properties under multiple attacker models on capability machines
Ding, Ming	Universal Optimality and Robust Utility Bounds for Metric Differential Privacy
Drăgan, Constantin Cătălin	Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
Dupressoir, François	Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co Bringing State-Separating Proofs to EasyCrypt - A Security Proof for Cryptobox
E
El-Korashy, Akram	SecurePtrs: Proving Secure Compilation Using Data-Flow Back-Translation and Turn-Taking Simulation
Elmassad, Mohamed	Locked Circuit Indistinguishability: A Notion of Security for Logic Locking
Estaji, Ehsan	Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
F
Fernandes, Natasha	Universal Optimality and Robust Utility Bounds for Metric Differential Privacy
Finkbeiner, Bernd	Prophecy Variables for Hyperproperty Verification
G
Gaboardi, Marco	The Complexity of Verifying Boolean Programs as Differentially Private
Galletta, Letterio	IFCIL: An Information Flow Configuration Language for SELinux
Garg, Deepak	SecurePtrs: Proving Secure Compilation Using Data-Flow Back-Translation and Turn-Taking Simulation
Garg, Siddharth	Locked Circuit Indistinguishability: A Notion of Security for Logic Locking
Georges, Aïna Linn	Proving full-system security properties under multiple attacker models on capability machines
Gil-Pons, Reynaldo	Is Eve nearby? Analysing protocols under the distant-attacker assumption
Gjøsteen, Kristian	Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
Glinskih, Ludmila	The Complexity of Verifying Boolean Programs as Differentially Private
Gondron, Sébastien	Privacy as Reachability
Guéneau, Armaël	Proving full-system security properties under multiple attacker models on capability machines
H
Haines, Thomas	Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
Hicks, Michael	A Formal Model of Checked C
Hollenberg, Tommy	A Complete Characterization of Security for Linicrypt Block Cipher Modes
Horne, Ross	Is Eve nearby? Analysing protocols under the distant-attacker assumption Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments
Hritcu, Catalin	SecurePtrs: Proving Secure Compilation Using Data-Flow Back-Translation and Turn-Taking Simulation
Hsu, Tzu-Han	Mapping Synthesis for Hyperproperties
J
Johnsen, Einar Broch	DPL: A Language for GDPR Enforcement
Juma, Nahid	Locked Circuit Indistinguishability: A Notion of Security for Logic Locking
K
Kaiser, Benjamin	Adversary Safety by Construction in a Language of Cryptographic Protocols
Kalke, Martine	Adversary Safety by Construction in a Language of Cryptographic Protocols
Kang, Eunsuk	Mapping Synthesis for Hyperproperties
Karami, Farzane	DPL: A Language for GDPR Enforcement
Kohbrok, Konrad	Bringing State-Separating Proofs to EasyCrypt - A Security Proof for Cryptobox
Koutsos, Adrien	Cracking the Stateful Nut -- Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant
Kremer, Steve	Symbolic protocol verification with dice: process equivalences in the presence of probabilities
L
Lampropoulos, Leonidas	A Formal Model of Checked C
Laud, Peeter	Interpreting Epsilon of Differential Privacy in Terms of Advantage in Guessing or Approximating Sensitive Attributes
Lee, Alice	Adversary Safety by Construction in a Language of Cryptographic Protocols
Li, Liyi	A Formal Model of Checked C
Li, Ninghui	Membership Inference Attacks against Classifiers
Li, Peixuan	Towards a General-Purpose Dynamic Information Flow Policy
Liu, Si	N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
Liu, Yiyun	A Formal Model of Checked C
Lu, Yun	Collusion-Preserving Computation without a Mediator
M
Mauw, Sjouke	Is Eve nearby? Analysing protocols under the distant-attacker assumption Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments Contingent payments from two-party signing and verification for abelian groups
May, Alexander	Legendre PRF (Multiple) Key Attacks and the Power of Preprocessing
McIver, Annabelle	Universal Optimality and Robust Utility Bounds for Metric Differential Privacy
Mestel, David	How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games
Mondal, Priyanka	Applying consensus and replication securely with FLAQR
Moreau, Solène	Cracking the Stateful Nut -- Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant
Mödersheim, Sebastian	Privacy as Reachability
Müller, Johannes	How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis
O
Oakley, Lisa	Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems
Oechsner, Sabine	Bringing State-Separating Proofs to EasyCrypt - A Security Proof for Cryptobox
Oprea, Alina	Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems
P
Palamidessi, Catuscia	Universal Optimality and Robust Utility Bounds for Metric Differential Privacy
Pankova, Alisa	Interpreting Epsilon of Differential Privacy in Terms of Advantage in Guessing or Approximating Sensitive Attributes
Paradžik, Petar	Conditional Observational Equivalence and Off-line Guessing Attacks in Multiset Rewriting
Park, Daniel	Adversary Safety by Construction in a Language of Cryptographic Protocols
Perrig, Adrian	N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
Piessens, Frank	Proving full-system security properties under multiple attacker models on capability machines
Postol, Deena	A Formal Model of Checked C
R
Raykova, Mariana	Locked Circuit Indistinguishability: A Notion of Security for Logic Locking
Reisert, Pascal	How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis
Rosulek, Mike	A Complete Characterization of Security for Linicrypt Block Cipher Modes
Roy, Lawrence	A Complete Characterization of Security for Linicrypt Block Cipher Modes
Ryan, Peter Y. A.	Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
Rønne, Peter B.	Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
S
Shahen, Jonathan	Locked Circuit Indistinguishability: A Notion of Security for Logic Locking
Solberg, Morten Rotvold	Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
Sprenger, Christoph	N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
T
Thibault, Jérémy	SecurePtrs: Proving Secure Compilation Using Data-Flow Back-Translation and Turn-Taking Simulation
Timany, Amin	Proving full-system security properties under multiple attacker models on capability machines
Tiu, Alwen	Is Eve nearby? Analysing protocols under the distant-attacker assumption
Trieu, Alix	Proving full-system security properties under multiple attacker models on capability machines
Tripakis, Stavros	Mapping Synthesis for Hyperproperties
Tripakis, Stavros	Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems
Tripunitara, Mahesh	Locked Circuit Indistinguishability: A Notion of Security for Logic Locking
Trujillo-Rasua, Rolando	Is Eve nearby? Analysing protocols under the distant-attacker assumption
V
Van Horn, David	A Formal Model of Checked C
Van Strydonck, Thomas	Proving full-system security properties under multiple attacker models on capability machines
Viganò, Luca	Privacy as Reachability
W
Wagner, Andrew	Adversary Safety by Construction in a Language of Cryptographic Protocols
Weghorn, Thilo	N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
Y
Yurkov, Semyon	Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments
Z
Zhang, Danfeng	Towards a General-Purpose Dynamic Information Flow Policy
Zikas, Vassilis	Collusion-Preserving Computation without a Mediator
Zweydinger, Floyd	Legendre PRF (Multiple) Key Attacks and the Power of Preprocessing

Disclaimer | Powered by EasyChair Smart Program