activity
20182022
most citedOpen-Source Verification with Chisel and Scala

1 citations · 2 across the 3 of their papers we have counts for

collaborators

5 papers

cs.CR20221 cited

Silently Disabling ECUs and Enabling Blind Attacks on the CAN Bus

Matthew Rogers, Kasper Rasmussen

The CAN Bus is crucial to the efficiency, and safety of modern vehicle infrastructure. Electronic Control Units (ECUs) exchange data across a shared bus, dropping messages whenever…

cs.CR2021

RegGuard: Leveraging CPU Registers for Mitigation of Control- and Data-Oriented Attacks

Munir Geden, Kasper Rasmussen

CPU registers are small discrete storage units, used to hold temporary data and instructions within the CPU. Registers are not addressable in the same way memory is, which makes th…

cs.PL20211 cited

Open-Source Verification with Chisel and Scala

Andrew Dobis, Tjark Petersen, Kasper Juul Hesse Rasmussen +5

Performance increase with general-purpose processors has come to a halt. We can no longer depend on Moore's Law to increase computing performance. The only way to achieve higher pe…

cs.CR2018

On the Feasibility of Fine-Grained TLS Security Configurations in Web Browsers Based on the Requested Domain Name

Eman Salem Alashwali, Kasper Rasmussen

Most modern web browsers today sacrifice optimal TLS security for backward compatibility. They apply coarse-grained TLS configurations that support (by default) legacy versions of…

cs.CR2018

What's in a Downgrade? A Taxonomy of Downgrade Attacks in the TLS Protocol and Application Protocols Using TLS

Eman Salem Alashwali, Kasper Rasmussen

A number of important real-world protocols including the Transport Layer Security (TLS) protocol have the ability to negotiate various security-related choices such as the protocol…