Author of the publication

Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking.

, , , and . USENIX Security Symposium, page 257-272. USENIX Association, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Pointillism Approach for Natural Language Processing of Social Media, , , , and . CoRR, (2012)Exploiting Geometrical Structure for Forensic Applications of Timing Inference Channels., , and . Int. J. Digit. Crime Forensics, 5 (1): 54-69 (2013)Privacy-preserving network flow recording., and . Digit. Investig., 8 (Supplement): S90-S100 (2011)Off-path round trip time measurement via TCP/IP side channels., and . INFOCOM, page 1589-1597. IEEE, (2015)OpenVPN is Open to VPN Fingerprinting., , , , , , and . CoRR, (2024)Students Who Don't Understand Information Flow Should Be Eaten: An Experience Paper., , and . CSET, USENIX Association, (2012)TSPU: Russia's decentralized censorship system., , , , , , and . IMC, page 179-194. ACM, (2022)ConceptDoppler: a weather tracker for internet censorship., , , , and . CCS, page 352-365. ACM, (2007)The ecology of Malware., , , , and . NSPW, page 99-106. ACM, (2008)Towards Automatically Generating Double-Free Vulnerability Signatures Using Petri Nets., , , , , , and . ISC, volume 5222 of Lecture Notes in Computer Science, page 114-130. Springer, (2008)