Publications

Conference Publications

1. Argyros, George, and Loris D’Antoni.
   “The Learnability of Symbolic Automata.”
   In International Conference on Computer Aided Verification, pp. 427-445. Springer, Cham, 2018.
   [pdf]

2. Sivakorn, Suphannee, George Argyros, Kexin Pei, Angelos D. Keromytis, and Suman Jana.
   “HVLearn: Automated black-box analysis of hostname verification in SSL/TLS implementations.”
   In 2017 IEEE Symposium on Security and Privacy (SP), pp. 521-538. IEEE, 2017.
   [pdf]

3. Argyros, George, Ioannis Stais, Suman Jana, Angelos D. Keromytis, and Aggelos Kiayias.
   “SFADiff: Automated evasion attacks and fingerprinting using black-box differential automata learning.”
   In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 1690-1701. ACM, 2016.
   [pdf]

4. Argyros, George, Ioannis Stais, Aggelos Kiayias, and Angelos D. Keromytis.
   “Back in black: towards formal, black box analysis of sanitizers and filters.”
   In 2016 IEEE Symposium on Security and Privacy (SP), pp. 91-109. IEEE, 2016.
   [pdf]

5. Polakis, Iasonas, George Argyros, Theofilos Petsios, Suphannee Sivakorn, and Angelos D. Keromytis.
   “Where’s wally?: Precise user discovery attacks in location proximity services.”
   In Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, pp. 817-828. ACM, 2015.
   [pdf]

6. Argyros, George, and Aggelos Kiayias.
   “I Forgot Your Password: Randomness Attacks Against PHP Applications.”
   In USENIX Security Symposium, pp. 81-96. 2012.
   [pdf]

7. Spirakis, Paul G., Vasileios Vlachos, Vassilios Karakoidas, Dimitrios Liappis, Dimitrios Kalaitzis, Eftychios Valeontis, Spyros Kollias, and George Argyros.
   “Blueprints for a Large-Scale Early Warning System.”
   In Informatics (PCI), 2010 14th Panhellenic Conference on, pp. 7-11. IEEE, 2010.
   [pdf]

Journal Publications

1. Argyros, George, Theofilos Petsios, Suphannee Sivakorn, Angelos D. Keromytis, and Jason Polakis.
   “Evaluating the Privacy Guarantees of Location Proximity Services.”
   ACM Transactions on Privacy and Security (TOPS) 19, no. 4 (2017): 12.
   [pdf]

Talks

1. Another Brick Off the Wall: Deconstructing Web Application Firewalls Using Automata Learning,
   George Argyros, Ioannis Stais,
   Blackhat Briefings Europe, London, UK, 2016

2. PRNG: Pwning Random Number Generators (in PHP Applications),
   George Argyros, Aggelos Kiayias,
   Blackhat Briefings Las Vegas, Las Vegas, NV, USA, 2012