User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 11 results.
    • Speech
    Compositional Security for Task-PIOAs
    Canetti, Ran Cheung, Ling Kaynar, Dilsun Lynch, Nancy Pereira, Olivier[UCL] (2007) CSF '07 — Venice, Italy
    • 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
    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
    • Journal article
    Analyzing Security Protocols Using Time-Bounded Task-PIOAs
    Canetti, Ran Cheung, Ling Kaynar, Dilsun Liskov, Moses Lynch, Nancy Pereira, Olivier[UCL] Segala, Roberto (2008) Discrete Event Dynamic Systems — Vol. 18, no. 1, p. 111-159 (March 2008)
    • Speech
    Running Mixnet-Based Elections with Helios
    Bulens, Philippe Giry, Damien Pereira, Olivier[UCL] (2011) Electronic Voting Technology Workshop/Workshop on Trustworthy Elections — San Francisco
    • Speech
    Leftover Hash Lemma, Revisited
    Barak, Boaz Dodis, Yevgeniy Krawczyk, Hugo Pereira, Olivier[UCL] Pietrzak, Krzysztof Standaert, François-Xavier[UCL] Yu, Yu (2011) CRYPTO 2011 — Santa Barbara
    • Speech
    Electing a University President using Open-Audit Voting: Analysis of real-world use of Helios
    Adida, Ben de Marneffe, Olivier[UCL] Pereira, Olivier[UCL] Quisquater, Jean-Jacques[UCL] (2009) Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE '09) — Montreal, CA
    • Speech
    Modeling Computational Security in Long-Lived Systems
    Canetti, Ran Cheung, Ling Kaynar, Dilsun Lynch, Nancy Pereira, Olivier[UCL] (2008) CONCUR 08 — Toronto, Canada
    • Speech
    Group Signatures are Suitable for Constrained Devices
    Canard, Sébastien Coisel, Iwen[UCL] de Meulenaer, Giacomo[UCL] Pereira, Olivier[UCL] (2011) ICISC 2010 — Seoul, Korea
    • Speech
    Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols
    Canetti, Ran Cheung, Ling Kaynar, Dilsun Liskov, Moses Lynch, Nancy Pereira, Olivier[UCL] Segala, Roberto (2006) DISC '06 — Stockholm
    • Speech
    Task-Structured Probabilistic I/O Automata
    Canetti, Ran Cheung, Ling Kaynar, Dilsun Liskov, Moses Lynch, Nancy Pereira, Olivier[UCL] Segala, Roberto (2006) WODES'06 — Ann Arbor, Michigan