Autor der Publikation

Analysis of Computing Policies Using SAT Solvers (Short Paper).

, , , und . SSS, Volume 10083 von Lecture Notes in Computer Science, Seite 190-194. (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The K-Observer Problem in Computer Networks., , , und . SSS, Volume 6976 von Lecture Notes in Computer Science, Seite 5-18. Springer, (2011)Incremental Verification of Computing Policies., , und . SSS, Volume 8756 von Lecture Notes in Computer Science, Seite 226-236. Springer, (2014)Predictable Internet Clients and In-Switch Deep Packet Inspection., , , und . ICCCN, Seite 1-10. IEEE, (2023)The best keying protocol for sensor networks., , und . WOWMOM, Seite 1-6. IEEE Computer Society, (2011)TPP: The Two-Way Password Protocol., , und . ICCCN, Seite 1-6. IEEE, (2011)Brief Announcement: On the Hardness of Topology Inference., und . SSS, Volume 6366 von Lecture Notes in Computer Science, Seite 285-287. Springer, (2010)Firewall verification and redundancy checking are equivalent., und . INFOCOM, Seite 2123-2128. IEEE, (2011)Is That You? Authentication in a Network without Identities., , und . GLOBECOM, Seite 1-5. IEEE, (2011)Nash Equilibria in Stabilizing Systems., und . SSS, Volume 5873 von Lecture Notes in Computer Science, Seite 311-324. Springer, (2009)Mending Wall: On the Implementation of Censorship in India., , , , und . SecureComm, Volume 238 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 418-437. Springer, (2017)