Cyber Security Academy
Publications
Browse our most recent publications to learn about our research.
Scalable and precise verification based on k-induction, symbolic execution and floating-point theory
Mikhail, Yasha Ramalho Gadelha
, 2019
Type: thesis
Yue Lu,
Shengyu Duan,
, 2019
, Electronics
, 8 (1) , 1--12
Type: article
Yue Lu,
Shengyu Duan,
, 2019
, Microelectronics Reliability
, 93 , 16--21
Type: article
Brian Stevens,
Rob Ashmore,
Andrea Margheri,
, 2019
Type: conference
Mikhail R. Gadelha,
Felipe Monteiro,
Lucas Cordeiro,
, 2019
Type: conference
Federico Lombardi,
Andrea Margheri,
, 2019
Type: conference
Giuseppe Petracca,
Yuqiong Sun,
Trent Jaegar,
, 2015
Type: conference