Representation-Independent Data Usage Control. - Alexander Pretschner; Enrico Lovat; Matthias Büchler (DPM/SETOP, 2011)

Security Mutants for Property-Based Testing. - Matthias Büchler; Johan Oudinet; Alexander Pretschner (TAP@TOOLS, 2011)

SPaCiTE - Web Application Testing Engine. - Matthias Büchler; Johan Oudinet; Alexander Pretschner (ICST, 2012)

Semi-Automatic Security Testing of Web Applications from a Secure Model. - Matthias Büchler; Johan Oudinet; Alexander Pretschner (SERE, 2012)

Security Testing with Fault-Models and Properties. - Matthias Büchler (ICST, 2013)

Evaluation of ASLan Mutation Operators. - Johan Oudinet; Alberto Calvi; Matthias Büchler (TAP@STAF, 2013)

Model inference and security testing in the spacios project. - Matthias Büchler; Karim Hossen; Petru Florin Mihancea; Marius Minea; Roland Groz; Catherine Oriat (CSMR-WCRE, 2014)

Semi-Automatic Security Testing of Web Applications with Fault Models and Properties. - Matthias Büchler (2015)

CRiOS: Toward Large-Scale iOS Application Analysis. - Damilola Orikogbo; Matthias Büchler; Manuel Egele (SPSM@CCS, 2016)

Security Testing: A Survey. - Michael Felderer; Matthias Büchler; Martin Johns; Achim D. Brucker; Ruth Breu; Alexander Pretschner (Adv. Comput., 2016)

Model-based security testing: a taxonomy and systematic classification. - Michael Felderer; Philipp Zech; Ruth Breu; Matthias Büchler; Alexander Pretschner (Softw. Test. Verification Reliab., 2016)

PellucidAttachment: Protecting Users From Attacks via E-Mail Attachments. - Sevtap Duman; Matthias Büchler; Manuel Egele; Engin Kirda (IEEE Trans. Dependable Secur. Comput., 2024)