conf.researchr.org / Andres Erbsen
Andres Erbsen

Registered user since Mon 8 Jun 2020

Name:Andres Erbsen
Personal website:https://andres.systems/

Contributions

SPLASH 2021 Author of Integration Verification Across Software and Hardware for a Simple Embedded System within the SIGPLAN Papers-track
PLDI 2021 Author of Integration Verification across Software and Hardware for a Simple Embedded System within the PLDI-track
REMS-DeepSpec 2020 Presenter of The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System within the REMS-DeepSpec 2020-track
DeepSpec 2018 Speaker of Automation for High-Assurance Cryptography, for Primitives and Protocols within the DeepSpec 2018-track