Search filters

List of works by Andrew Martin

But is it exploitable? Exploring how Router Vendors Manage and Patch Security Vulnerabilities in Consumer-Grade Routers

scientific article published on 13 October 2023

Efficient and Privacy-Preserving Data Aggregation and Dynamic Billing in Smart Grid Metering Networks

scientific article published on 10 August 2018

Engineering Attestable Services

Exploring HTTPS security inconsistencies: A cross-regional perspective

scientific article published in 2020

Hedgehog Signaling Pathway Database: a repository of current annotation efforts and resources for the Hh research community.

scientific article published on 6 December 2006

Machine-assisted theorem-proving for software engineering

doctoral thesis

Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues

scientific article published in 2019

SoK: How Not to Architect Your Next-Generation TEE Malware?

scientific article published on 22 September 2023

Towards a framework for trustworthy data security level agreement in cloud procurement

scientific article published in 2021

Paulina is supported by:

About Paulina

Help