2018-annual-report

80
annual report
20
47. José Bacelar Almeida, Manuel Barbosa,
Gilles Barthe, Hugo Pacheco, Vitor Pereira,
Bernardo Portela. Enforcing Ideal-World
Leakage Bounds in Real-World Secret Sharing
MPC Frameworks. 31st IEEE Computer
Security Foundations Symposium, CSF
2018, Oxford, United Kingdom, July 9-12,
2018, pages 132–146, IEEE Computer
Society, 2018.
48. Gilles Barthe, Sonia Belaïd, Thomas
Espitau, Pierre-Alain Fouque, Benjamin
Grégoire, Mélissa Rossi, Mehdi Tibouchi.
Masking the GLP Lattice-Based Signature
Scheme at Any Order. Advances in Cryptology
- EUROCRYPT 2018 - 37th Annual
International Conference on the Theory
and Applications of Cryptographic Techniques,
Tel Aviv, Israel, April 29 - May 3,
2018 Proceedings, Part II, Lecture Notes
in Computer Science, Vol. 10821, pages
354–384, Springer, 2018.
49. Alejandro Aguirre, Gilles Barthe, Lars Birkedal,
Ales Bizjak, Marco Gaboardi, Deepak
Garg. Relational Reasoning for Markov
Chains in a Probabilistic Guarded Lambda
Calculus. Programming Languages and
Systems - 27th European Symposium on
Programming, ESOP 2018, Held as Part of
the European Joint Conferences on Theory
and Practice of Software, ETAPS 2018,
Thessaloniki, Greece, April 14-20, 2018,
Proceedings, Lecture Notes in Computer
Science, Vol. 10801, pages 214–241,
Springer, 2018.
50. Gilles Barthe, Thomas Espitau, Marco
Gaboardi, Benjamin Grégoire, Justin Hsu,
Pierre-Yves Strub. An Assertion-Based Program
Logic for Probabilistic Programs. Programming
Languages and Systems - 27th
European Symposium on Programming,
ESOP 2018, Held as Part of the European
Joint Conferences on Theory and Practice
of Software, ETAPS 2018, Thessaloniki,
Greece, April 14-20, 2018, Proceedings,
Lecture Notes in Computer Science, Vol.
10801, pages 117–144, Springer, 2018.
51. Borja Balle, Gilles Barthe, Marco Gaboardi.
Privacy Amplification by Subsampling: Tight
Analyses via Couplings and Divergences.
Advances in Neural Information Processing
Systems 31: Annual Conference on Neural
Information Processing Systems 2018,
NeurIPS 2018, 3-8 December 2018, Montréal,
Canada., pages 6280–6290, 2018.
52. Apostolos Pyrgelis, Carmela Troncoso, Emiliano
De Cristofaro. Knock Knock, Who’s
There? Membership Inference on Aggregate
Location Data. 25th Annual Network and
Distributed System Security Symposium,
NDSS 2018, San Diego, California, The
Internet Society, 2018.
53. Borzoo Bonakdarpour, César Sánchez,
Gerardo Schneider. Monitoring Hyperproperties
by Combining Static Analysis and
Runtime Verification. Proc. of the 8th
Int’l Symp. on Leveraging Applications of
Formal Methods, Verification and Validation
(ISoLA’2018). Verification. Part II, LNCS,
Vol. 11245, pages 8–27, Springer, 2018.
54. César Sánchez, Gerardo Schneider, Martin
Leucker. Reliable Smart Contracts: Stateof-the-Art,
Applications, Challenges and
Future Directions. Proc. of the 8th Int’l
Symp. on Leveraging Applications of Formal
Methods, Verification and Validation
(ISoLA’2018). Verification. Part IV, LNCS,
Vol. 11247, pages 275–279, Springer,
2018.
55. Christian Colombo, Yliés Falcone, Martin
Leucker, Giles Reger, César Sánchez, Gerardo
Schneider, Volker Stolz. COST Action
IC1402 Runtime Verification Beyond Monitoring.
Proc. of the 18th Int’l Conf. on
Runtime Verification (RV’18), LNCS, Vol.
11237, pages 18–26, Springer, 2018.