Login / Signup
Bettina Schnor
ORCID
Publication Activity (10 Years)
Years Active: 1995-2024
Publications (10 Years): 18
Top Topics
Anomaly Detection
Formal Verification
Low Energy
Network Security
Top Venues
HEALTHINF
SECRYPT
iThings/GreenCom/CPSCom/SmartData
ARRAY@PLDI
</>
Publications
</>