G
Georgio Nicolas
Publications - 4
Citations - 61
Georgio Nicolas is an academic researcher. The author has contributed to research in topics: Formal verification & Cryptographic protocol. The author has an hindex of 2, co-authored 3 publications receiving 25 citations.
Papers
More filters
Proceedings ArticleDOI
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols
TL;DR: Noise Explorer is presented, an online engine for designing, reasoning about, formally verifying and implementing arbitrary Noise Hand shake patterns and can parse formal verification results to generate detailed-but-pedagogical reports regarding the exact security goals of each message of a Noise Handshake Pattern.
Proceedings ArticleDOI
Verifpal: Cryptographic Protocol Analysis for the Real World
TL;DR: Through Verifpal, it is shown that advanced verification with formalized semantics and sound logic can exist without any expense towards the convenience of real-world practitioners.
Book ChapterDOI
Verifpal: Cryptographic Protocol Analysis for the Real World
TL;DR: Verifpal as mentioned in this paper is a verification framework for cryptographic protocols, optimized with heuristics for common-case protocol specifications, that aims to work better for real-world practitioners, students and engineers without sacrificing comprehensive formal verification features.
Journal Article
Panacea: Non-interactive and Stateless Oblivious RAM
TL;DR: In this article , a novel design of oblivious RAM based on fully homomorphic encryption (FHE) techniques is presented, which is non-interactive and stateless, achieves O(1) bandwidth blowup, and does not require an expensive offline phase for the client to perform; in that sense, their design is the first kind among other ORAM designs.