FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program