Title
Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI Ranjan Sapkota Konstantinos I. Roumeliotis Manoj Karkee 109 1 0 26 May 2025
From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake Daniel De Almeida Braga Natalia Kulatova M. Sabt Pierre-Alain Fouque K. Bhargavan AAML 37 2 0 18 Jul 2023
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot Zhuoruo Zhang Chenyang Yu Rui Chang Mingshuai Chen K. Ren He Huang Qinming Dai Wenbo Shen MoE 43 1 0 16 Sep 2022
Trustworthy AI Jeannette M. Wing 64 220 0 14 Feb 2020
Introduction to the Tezos Blockchain V. Allombert Mathias Bourgoin J. Tesson 42 39 0 18 Sep 2019
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations J. Almeida M. Barbosa Gilles Barthe B. Grégoire Adrien Koutsos Vincent Laporte Tiago Oliveira Pierre-Yves Strub 51 64 0 09 Apr 2019
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation Carmine Abate Roberto Blanco Deepak Garg Cătălin Hriţcu Marco Patrignani Jérémy Thibault 65 67 0 12 Jul 2018
Computer-aided proofs for multiparty computation with active security Helene Haagh Aleksandr Karbyshev Sabine Oechsner Bas Spitters Pierre-Yves Strub 49 27 0 19 Jun 2018
Recalling a Witness: Foundations and Applications of Monotonic State Danel Ahman Cédric Fournet Cătălin Hriţcu K. Maillard Aseem Rastogi Nikhil Swamy OffRL LRM 22 23 0 08 Jul 2017