Open menu

Publications

Browse our most recent publications to learn about our research.
Low-cost security protocols for resource-constrained Internet of Things devices
2019
Type: thesis
A reliable PUF in a dual function SRAM
Mohd Syafiq Mispan, Shengyu Duan, Basel Halak & Mark Zwolinski, 2019, Integration , 68, 12-21
DOI: 10.1016/j.vlsi.2019.06.001
Type: article
Scalable and precise verification based on k-induction, symbolic execution and floating-point theory
2019
Type: thesis
SMT-based refutation of spurious bug reports in the clang static analyzer
Mikhail R. Gadelha, Enrico Steffinlongo, Lucas Cordeiro, Bernd Fischer & Denis Nicole, 2019
DOI: 10.1109/ICSE-Companion.2019.00026
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
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B
Giles Howard, Michael Butler, John Colley & Vladimiro Sassone, 2019, International Journal of Critical Computer-Based Systems, 56-75
DOI: 10.1504/IJCCBS.2019.10020048
Type: journalSpecialIssue
VLSI implementation of a fully-pipelined K-best MIMO detector with successive interference cancellation
Ibrahim Bello, Basel Halak, Mohammed El-Hajjar & Mark Zwolinski, 2019, Circuits, Systems, and Signal Processing, 1-23
DOI: 10.1007/s00034-019-01079-0
Type: article