Cyber Security Academy

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

A variation-aware design methodology for distributed arithmetic

Yue Lu,

Shengyu Duan,

Basel Halak,

& Tom Kazmierski

, 2019 , Electronics , 8 (1) , 1--12

DOI: 10.3390/electronics8010108

Type: article

A cost-efficient error-resilient approach to distributed arithmetic for signal processing

Yue Lu,

Shengyu Duan,

Basel Halak,

& Tom J. Kazmierski

, 2019 , Microelectronics Reliability , 93 , 16--21

DOI: 10.1016/j.microrel.2018.12.007

Type: article

Developing critical software in the modern threat environment

Brian Stevens,

Rob Ashmore,

Andrea Margheri,

& Vladimiro Sassone

, 2019

Type: conference

ESBMC v6.0

Mikhail R. Gadelha,

Felipe Monteiro,

Lucas Cordeiro,

& Denis Nicole

, 2019

DOI: 10.1007/978-3-030-17502-3_15

Type: conference

Towards a semantic modelling for threat analysis of IoT applications: a case study on transactive energy

Nawfal Fadhel,

Federico Lombardi,

Leonardo Aniello,

Andrea Margheri,

& Vladimiro Sassone

, 2019

Type: conference

AuDroid: preventing attacks on audio channel sin mobile devices

Giuseppe Petracca,

Yuqiong Sun,

Trent Jaegar,

& Ahmad Atamli

, 2015

DOI: 10.1145/2818000.2818005

Type: conference