User menu

Accès à distance ? S'identifier sur le proxy UCLouvain | Saint-Louis

Search

Displaying 1 - 25 of 95 results.

Pages

    • BookChapter
    Internet Voting with Helios
    Pereira, Olivier[UCL] (2016) Real-World Electronic Voting — [ISBN : 978-1-4987-1471-3]
    • Book
    2012 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections
    Halderman, J. Alex Pereira, Olivier[UCL] (2012)
    • Journal article
    Using Probabilistic I/O Automata to improve the analysis of cryptographic protocols
    Canetti, Ran Cheung, Ling Kaynar, Dilsun Liskov, Moses Lynch, Nancy Pereira, Olivier[UCL] Segala, Roberto (2005) Ercim News — Vol. 63, no.1, p. 40-41 (2005)
    • Journal article
    STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System
    Bell, Susan Benaloh, Josh Byrne, Michael D. DeBeauvoir, Dana Eakin, Bryce Fisher, Gail Kortum, Philip McBurnett, Neal Montoya, Julian Parker, Michelle Pereira, Olivier[UCL] Stark, Philip B. Wallach, Dan S. Winn, Michael (2013) USENIX Journal of Election Technology and Systems (JETS) — Vol. 1, no.1, p. 18--37 (August 2013)
    • Speech
    On the Role of Scheduling in Simulation-Based Security
    Canetti, Ran Cheung, Ling Lynch, Nancy Pereira, Olivier[UCL] (2007) 7th International Workshop on Issues in the Theory of Security (WITS'07) — Braga
    • Speech
    On the perfect encryption assumption
    Pereira, Olivier[UCL] Quisquater, Jean-Jacques[UCL] (2000) Proc. of the 1st Workshop on Issues in the Theory of Security (WITS’00) — Geneve
    • Speech
    Universally Composable Security Analysis of TLS
    Gajek, Sebastian Manulis, Mark[UCL] Pereira, Olivier[UCL] Sadeghi, Ahmad-Reza Schwenk, Jörg (2008) ProvSec 2008 — Shanghai, China
    • Speech
    Secure Two-Party Computation Over a Z-Channel
    Palmieri, Paolo[UCL] Pereira, Olivier[UCL] (2011) Provable Security - 5th International Conference, ProvSec 2011 — Xi'an, China
    • Speech
    Partage équitable de gâteau sans médiateur
    Mawet, Sophie[UCL] Pereira, Olivier[UCL] Petit, Christophe[UCL] (2011) Journées Codage et Cryptographie 2011 — Centre CNRS de la Vieille Perrotine (St Pierre d'Oléron)
    • Speech
    Security Analysis of the Cliques Protocols Suites: First Results.
    Pereira, Olivier[UCL] Quisquater, Jean-Jacques[UCL] (2001) Trusted Information: The New Decade Challenge, IFIP TC11 Sixteenth Annual Working Conference on Information Security (IFIP/Sec'01) — Paris
    • Speech
    Formal and computational analysis of cryptographic protocols based on task-PIOAs
    Canetti, Ran Cheung, Ling Kaynar, Dilsun Liskov, Moses Lynch, Nancy Pereira, Olivier[UCL] Segala, Roberto (2006) 2006 Workshop on Cryptography and Related Mathematics — Chuo University, Japan
    • Speech
    Compositional Security for Task-PIOAs
    Canetti, Ran Cheung, Ling Kaynar, Dilsun Lynch, Nancy Pereira, Olivier[UCL] (2007) CSF '07 — Venice, Italy
    • Speech
    Elliptic Curve Cryptography in JavaScript
    Haustenne, Laurie[UCL] De Neyer, Quentin[UCL] Pereira, Olivier[UCL] (2011) ECRYPT Workshop on Lightweight Crytpography — Louvain-la-Neuve (Belgium)
    • Speech
    Election Verifiability or Ballot Privacy: Do We Need to Choose?
    Cuvelier, Édouard[UCL] Pereira, Olivier[UCL] Peters, Thomas[UCL] (2013) Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security — Egham (UK)
    • Speech
    Measuring vote privacy, revisited.
    Bernhard, David Cortier, Véronique Pereira, Olivier[UCL] Warinschi, Bogdan (2012) ACM Conference on Computer and Communications Security, CCS'12 — Raleigh, NC, USA
    • Speech
    Automatic Verification of Simulatability in Security Protocols
    Araragi, Tadashi Pereira, Olivier[UCL] (2008) IAS 2008 — Naples, Italy
    • Speech
    Leakage-Resilient Symmetric Cryptography under Empirically Verifiable Assumptions
    Standaert, François-Xavier[UCL] Pereira, Olivier[UCL] Yu, Yu (2013) 33rd Annual Cryptography Conference - Advances in Cryptology (CRYPTO 2013) — Santa Barbara (USA)
    • Speech
    Multi-party Function Evaluation with Perfectly Private Audit Trail
    Cuvelier, Édouard[UCL] Pereira, Olivier[UCL] (2014) 1st Symposium on Digital Trust in Auvergne — Clermont-Ferrand
    • Journal article
    On the impossibility of building secure Cliques-type authenticated group key agreement protocols
    Pereira, Olivier[UCL] Quisquater, Jean-Jacques[UCL] (2006) Journal of Computer Security — Vol. 14, no. 2, p. 197-246 (2006)
    • Journal article
    Some attacks upon authenticated group key agreement protocols
    Pereira, Olivier[UCL] Quisquater, Jean-Jacques[UCL] (2003) Journal of Computer Security — Vol. 11, no. 4, p. 555-580 (2003)
    • Speech
    Formal Analysis of the FIDO 1.x Protocol
    Rochet, Florentin[UCL] Pereira, Olivier[UCL] Wiedling, Cyrille[UCL] (2017) 10th International Symposium on Foundations & Practice of Security — nancy (France)
    • Journal article
    Dropping on the Edge: Flexibility and Traffic Confirmation in Onion Routing Protocols
    Rochet, Florentin[UCL] Pereira, Olivier[UCL] (2018) PoPETs "Proceedings on Privacy Enhancing Technologies" — Vol. 2, p. 27–46
    • Journal article
    Waterfilling: Balancing the Tor network with maximum diversity
    Rochet, Florentin[UCL] Pereira, Olivier[UCL] (2017) PoPETS "Proceedings on Privacy Enhancing Technologies" — Vol. 2, p. 4-22 (2017)
    • Speech
    Securely Solving Simple Combinatorial Graph Problems
    Aly, Abdelrahaman[UCL] Cuvelier, Édouard[UCL] Mawet, Sophie[UCL] Pereira, Olivier[UCL] Van Vyve, Mathieu[UCL] (2013) 17th International Conference FC 2013 — Okinawa, Japan
    • Journal article
    Knights and Knaves Run Elections: Internet Voting and Undetectable Electoral Fraud
    Culnane, Chris Essex, Aleksander Jamie Lewis, Sarah Pereira, Olivier[UCL] Teague, Vanessa (2019) IEEE Security and Privacy Magazine — Vol. 17, no.4, p. 62-70 (2019)

Pages