FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Almeida, José Bacelar	Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
Audinot, Maxime	Guided design of attack trees: a system-based approach
B
Barbosa, Manuel	Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
Baritel-Ruet, Cécile	Formal Security Proof of CMAC and its Variants
Barthe, Gilles	Secure compilation of side-channel countermeasures: the case of cryptographic “constant-time” Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
Basin, David	Alethea: A Provably Secure Random Sample Voting Protocol
Blanchet, Bruno	Composition Theorems for CryptoVerif and Application to TLS 1.3
Bonakdarpour, Borzoo	The Complexity of Monitoring Hyperproperties
C
Chen, Hongxu	A Permission-Dependent Type System for Secure Information Flow Analysis
Cheval, Vincent	A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif.
Chudnov, Andrey	Assuming you know: epistemic semantics of relational annotations for expressive flow policies
Cortier, Veronique	A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif. Machine-checked proofs for electronic voting: privacy and verifiability for Belenios
D
Daian, Philip	KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Devadas, Srini	Sanctum: Towards an Open-Source, Formally Verified Secure Processor
Dragan, Constantin Cătălin	Machine-checked proofs for electronic voting: privacy and verifiability for Belenios
Dreier, Jannik	Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
Dupressoir, François	Formal Security Proof of CMAC and its Variants Machine-checked proofs for electronic voting: privacy and verifiability for Belenios
E
Eugster, Patrick Thomas	A Cryptographic Look at Multi-Party Channels
F
Finkbeiner, Bernd	The Complexity of Monitoring Hyperproperties
Fischlin, Marc	Self-Guarding Cryptographic Protocols against Algorithm Substitution Attacks Backdoored Hash Functions: Immunizing HMAC and HKDF
Fouque, Pierre-Alain	Formal Security Proof of CMAC and its Variants
Fredrikson, Matt	Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting
G
Garg, Deepak	Types for Information Flow Control: Labeling Granularity and Semantic Models
Giacomelli, Irene	Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting
Grégoire, Benjamin	Formal Security Proof of CMAC and its Variants Secure compilation of side-channel countermeasures: the case of cryptographic “constant-time”
Guth, Dwight	KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
H
Haagh, Helene	Computer-aided proofs for multiparty computation with active security
Hess, Andreas Viktor	A Typing Result for Stateful Protocols
Hildenbrandt, Everett	KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Hirschi, Lucca	Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
J
Jacomme, Charlie	An extensive formal analysis of multi-factor authentication protocols
Janson, Christian	Backdoored Hash Functions: Immunizing HMAC and HKDF
Jha, Somesh	Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting
Jia, Limin	Knowledge-based Security of Dynamic Secrets for Reactive Programs
K
Karbyshev, Aleksandr	Computer-aided proofs for multiparty computation with active security
Khouzani, Mhr	Symbolic Side-Channel Analysis for Probabilistic Programs
Kordy, Barbara	Guided design of attack trees: a system-based approach
Kremer, Steve	An extensive formal analysis of multi-factor authentication protocols
L
Laporte, Vincent	Secure compilation of side-channel countermeasures: the case of cryptographic “constant-time”
Li, Baiyu	Symbolic security of garbled circuits
Liu, Yang	A Permission-Dependent Type System for Secure Information Flow Analysis
Luckow, Kasper	Symbolic Side-Channel Analysis for Probabilistic Programs
M
Malacaria, Pasquale	Symbolic Side-Channel Analysis for Probabilistic Programs
Marson, Giorgia Azzurra	A Cryptographic Look at Multi-Party Channels
Mazaheri, Sogol	Self-Guarding Cryptographic Protocols against Algorithm Substitution Attacks Backdoored Hash Functions: Immunizing HMAC and HKDF
McCall, Mckenna	Knowledge-based Security of Dynamic Secrets for Reactive Programs
Micciancio, Daniele	Symbolic security of garbled circuits
Moore, Brandon	KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Mödersheim, Sebastian A.	A Typing Result for Stateful Protocols
Müller, Christian	Inductive Invariants for Noninterference in Multi-agent Workflows
N
Naumann, David	Assuming you know: epistemic semantics of relational annotations for expressive flow policies
O
Oechsner, Sabine	Computer-aided proofs for multiparty computation with active security
P
Pacheco, Hugo	Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
Palamidessi, Catuscia	Local Differential Privacy on Metric Spaces: optimizing the trade-off with utility
Park, Daejun	KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Pasareanu, Corina	Symbolic Side-Channel Analysis for Probabilistic Programs
Pereira, Vitor	Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
Phan, Quoc-Sang	Symbolic Side-Channel Analysis for Probabilistic Programs
Pinchinat, Sophie	Guided design of attack trees: a system-based approach
Poettering, Bertram	A Cryptographic Look at Multi-Party Channels
Portela, Bernardo	Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
R
Radomirovic, Sasa	Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR Alethea: A Provably Secure Random Sample Voting Protocol
Rajani, Vineet	Types for Information Flow Control: Labeling Granularity and Semantic Models
Rodrigues, Nishant	KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Rosu, Grigore	KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
S
Sasse, Ralf	Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
Saxena, Manasvi	KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Schmid, Lara	Alethea: A Provably Secure Random Sample Voting Protocol
Seidl, Helmut	Inductive Invariants for Noninterference in Multi-agent Workflows
Spitters, Bas	Computer-aided proofs for multiparty computation with active security
Stefanescu, Andrei	KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Strub, Pierre-Yves	Computer-aided proofs for multiparty computation with active security
T
Tiu, Alwen	A Permission-Dependent Type System for Secure Information Flow Analysis
Turuani, Mathieu	A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif.
W
Warinschi, Bogdan	Machine-checked proofs for electronic voting: privacy and verifiability for Belenios
X
Xu, Zhiwu	A Permission-Dependent Type System for Secure Information Flow Analysis
Y
Yeom, Samuel	Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting
Z
Zalinescu, Eugen	Inductive Invariants for Noninterference in Multi-agent Workflows
Zhang, Hengruo	Knowledge-based Security of Dynamic Secrets for Reactive Programs
Zhang, Yi	KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Zhu, Xiaoran	KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Disclaimer | Powered by EasyChair Smart Program