Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	NordSec (25. : 2020 : Online) Secure IT systems
1. Verfasser:	Karami, Farzane (VerfasserIn)
Weitere Verfasser:	Owe, Olaf (VerfasserIn), Schneider, Gerardo (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Machine-Checking the Universal Verifiability of ElectionGuard	2021	Haines, Thomas
On the Certificate Revocation Problem in the Maritime Sector	2021	Bour, Guillaume
Agent-Based File Extraction Using Virtual Machine Introspection	2021	Dangl, Thomas
Cyber Range Automation Overview with a Case Study of CRATE	2021	Gustafsson, Tommy
An Investigation of Comic-Based Permission Requests	2021	Watson, An Katie
OnLITE: On-line Label for IoT Transparency Enhancemen	2021	Railean, Alexandr
Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures	2021	Karami, Farzane
Real-Time Triggering of Android Memory Dumps for Stealthy Attack Investigation	2021	Bellizzi, Jennifer
Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme	2021	Gjesteen, Kristian
TLV-to-MUC Express: Post-quantum MACsec in VXLAN	2021	Cho, Joo Yeon
Persistence in Linux-Based IoT Malware . .	2021	Brierley, Calvin
Using Features of Encrypted Network Traffic to Detect Malware	2021	Afzal, Zeeshan
Functional Sifting: A Privacy-Preserving Reputation System Through Multi-Input Functional Encryption	2021	Bakas, Alexandros
HoneyHash: Honeyword Generation Based on Transformed Hashes	2021	Shi, Canyang
Privacy Analysis of COVID-19 Contact Tracing Apps in the EU	2021	Wairimu, Samuel