Login / Signup
Theo Gamboni-Diehl
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Dos Attacks
Lightweight
Fully Functional
Java Programs
Top Venues
WISEC
</>
Publications
</>
Theo Gamboni-Diehl
,
Simeon Wuthier
,
Jinoh Kim
,
Jonghyun Kim
,
Sang-Yoon Chang
Lightweight Code Assurance Proof for Wireless Software.
WISEC
(2022)