Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Georg Carle
Verified Iptables Firewall Analysis and Verification
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Resilient Virtual Network Design for End-To-End Cloud Services
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Using TPM for Secure Identities in Future Home Networks
Future Internet
Computer Networks
Communications
The Amplification Threat Posed by PubliclyReachable BACnet Devices
Journal of Cyber Security and Mobility
Hardware
Computer Networks
Architecture
Communications
How to Prevent AS Hijacking Attacks
Applications of Wireless Sensor Networks
