Login / Signup
Peter Spacek
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Encryption Decryption
Security Properties
Runtime Environment
Statistical Shape Model
Top Venues
J. Comput. Virol. Hacking Tech.
</>
Publications
</>
Mark Vella
,
Christian Colombo
,
Robert Abela
,
Peter Spacek
RV-TEE: secure cryptographic protocol execution based on runtime verification.
J. Comput. Virol. Hacking Tech.
17 (3) (2021)