Un grupo de investigadores de IMDEA Software asistió a la Conferencia ACM sobre Seguridad Informática y de las Comunicaciones (CCS) en Los Ángeles, del 7 al 11 de noviembre, para presentar los 8 artículos que fueron aceptados.
La ACM es la principal conferencia anual del Special Interest Group on Security, Audit and Control (SIGSAC) de la Association for Computing Machinery (ACM). La conferencia reúne a investigadores, profesionales, desarrolladores y usuarios de la seguridad de la información de todo el mundo para explorar ideas y resultados de vanguardia.
Al logro de haber publicado 8 artículos, se suman otros: el de Marco Guarnieri “Automatic Detection of Speculative Execution Combinations” obtuvo un premio como artículo distinguido y los investigadores Juan Caballero y Dario Fiore recibieron el premio al mejor revisor.
Lista de los artículos aceptados:
Automatic Detection of Speculative Execution Combinations (Xaver Fabian, Marco Guarnieri, Marco Patrignani)
Efficient Zero-Knowledge Proofs on Signed Data with Applications to Verifiable Computation on Data Streams (Dario Fiore, Ida Tucker)
Foundations of Coin Mixing Services (Noemi Glaeser, Matteo Maffei, Giulio Malavolta, Pedro Moreno-Sanchez, Erkan TairiSri, Aravinda Krishnan Thyagarajan)
Watch Your Back: Identifying Cybercrime Financial Relationships in Bitcoin through Back-and-Forth Exploration (Gibran Gómez, Pedro Moreno-Sanchez, Juan Caballero)
Enforcing Fine-grained Constant-time Policies (Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Swarn Priya)
Sleepy Channels: Bi-directional Payment Channels without Watchtowers (Lukas Aumayr, Sri Aravinda Krishnan Thyagarajan, Giulio Malavolta, Pedro Moreno-Sanchez, Matteo Maffei)
Tidy: Symbolic Verification of Timed Cryptographic Protocols (Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, Itsaka Rakotonirina)
Succinct Zero-Knowledge Batch Proofs for Set Accumulators (Matteo Campanelli, Dario Fiore, Semin Han, Jihye Kim, Dimitris Kolonelos, Hyunok Oh)
