Todos los artículos en un zip

Grupo 1

  1. Mauro Jaskelioff, Alejandro Russo. "Secure Multi-Execution in Haskell"
  2. Stephen Chong, Andrew C. Myers. "Decentralized Robustness"
  3. Gilles Barthe, Tamara Rezk, Amitabh Basu. "Security Types Preserving Compilation"
  4. Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld. "Capabilities for Information Flow"
  5. Cormac Herley. "Unfalsifiability of Security Claims"
  6. Alejandro Russo. "Functional Pearl: Two Can Keep a Secret, If One of Them Uses Haskell"

Grupo 2

  1. Stephen Checkoway et al. "Return-Oriented Programming without Returns"
  2. Karthik Bhargavan, Cedric Fournet, Nataliya Guts. "Pre- and Post-conditions for Security Typechecking"

Grupo 3

  1. Gavin Wood. "Ethereum: A Secure Decentralised Generalised Transaction Ledger"
  2. Gilles Barthe et al. "Formal Certification of ElGamal Encryption"
  3. Michael G. Reed, Paul F. Syverson, David M. Goldschlag. "Anonymous Connections and Onion Routing"
  4. Torben Pryds Pedersen. "Non-Interactive and Information-Theoretic Secure Verifiable Secret Sharing"
  5. Leslie Lamport. "Constructing Digital Signatures from a One Way Function"

Grupo 4

  1. Han Gao et al. "A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols"
  2. David Adrian et al. "Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice"
  3. Sergio Demian Lerner. "RSK: Bitcoin Merge Mining is Here to Stay"