André Pacteau, Antonino Vitale, Davide Balzarotti, Simone Aonzo (EURECOM)
Mnemocrypt
View More Papers
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented...
Ye Liu (Singapore Management University), Yue Xue (MetaTrust Labs), Daoyuan Wu (The Hong Kong University of Science and Technology), Yuqiang Sun (Nanyang Technological University), Yi Li (Nanyang Technological University), Miaolei Shi (MetaTrust Labs), Yang Liu (Nanyang Technological University)
Read MoreWork-in-Progress: Detecting Browser-in-the-Browser Attacks from Their Behaviors and DOM...
Ryusei Ishikawa, Soramichi Akiyama, and Tetsutaro Uehara (Ritsumeikan University)
Read MoreEffects of Precise and Imprecise Value-Set Analysis (VSA) Information...
Laura Matzen, Michelle A Leger, Geoffrey Reedy (Sandia National Laboratories)
Read MoreInspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation
Rachael Little, Dongpeng Xu (University of New Hampshire)
Read More