About
Roberto Guanciale is a Lecturer at KTH Royal Institute of Technology, affiliated with the Department of Theoretical Computer Science under the School of Electrical Engineering and Computer Science. He teaches and examines courses such as Cybersecurity Overview, Software Security, Applied Cryptography, and Degree Projects focusing on cybersecurity, communication systems, and distributed software engineering.
His research interests lie in cybersecurity, formal verification, and software engineering for distributed systems. His recent publications address formal methods for securing P4 programs, symbolic execution for binary verification, and flow security in microarchitectures. These works emphasize rigorous mathematical approaches to network and hardware security.
Teaching Roles:
- Cybersecurity Overview Course (DD2391) - Course Manager
- The Role of the Cybersecurity Engineer (DD2303) - Teacher
- Software Security (DD2460) - Teacher
- Project in Cybersecurity (DD2394) - Examiner and Course Coordinator
Find Roberto Guanciale elsewhere
Related Searches
You Might Also Like
- MMads DamKTH Royal Institute of Technology · Professor
- JJanos KövérKTH Royal Institute of Technology · Researcher
- RRoberto SegalaVerona University · Professor
Cyrille ArthoKTH Royal Institute of Technology · Associate Professor- HHenrik KarlssonKTH Royal Institute of Technology · Researcher
- AAntonio NapoliKTH Royal Institute of Technology · Researcher