research
∙
09/30/2022
A forensic analysis of the Google Home: repairing compressed data without error correction
This paper provides a detailed explanation of the steps taken to extract...
share
research
∙
03/15/2021
Return-Oriented Programming on RISC-V
This paper provides the first analysis on the feasibility of Return-Orie...
research
∙
02/17/2021
LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices
This paper presents LIRA-V, a lightweight system for performing remote a...
research
∙
08/10/2019
RISC-V: #AlphanumericShellcoding
We explain how to design RISC-V shellcodes capable of running arbitrary ...
research
∙
05/15/2018
Borrowing Safe Pointers from Rust in SPARK
In the field of deductive software verification, programs with pointers ...
research
∙
10/19/2017
