Matthias Büchler

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 4

Top Venues

Softw. Test. Verification Reliab.

CSMR-WCRE

Adv. Comput.

SPSM@CCS

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Sevtap Duman, Matthias Büchler, Manuel Egele, Engin Kirda
PellucidAttachment: Protecting Users From Attacks via E-Mail Attachments. IEEE Trans. Dependable Secur. Comput. 21 (3) (2024)
Michael Felderer, Matthias Büchler, Martin Johns, Achim D. Brucker, Ruth Breu, Alexander Pretschner
Security Testing: A Survey. Adv. Comput. 101 (2016)
Michael Felderer, Philipp Zech, Ruth Breu, Matthias Büchler, Alexander Pretschner
Model-based security testing: a taxonomy and systematic classification. Softw. Test. Verification Reliab. 26 (2) (2016)
Damilola Orikogbo, Matthias Büchler, Manuel Egele
CRiOS: Toward Large-Scale iOS Application Analysis. SPSM@CCS (2016)
Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat
Model inference and security testing in the spacios project. CSMR-WCRE (2014)
Matthias Büchler
Security Testing with Fault-Models and Properties. ICST (2013)
Johan Oudinet, Alberto Calvi, Matthias Büchler
Evaluation of ASLan Mutation Operators. TAP@STAF (2013)
Matthias Büchler, Johan Oudinet, Alexander Pretschner
Semi-Automatic Security Testing of Web Applications from a Secure Model. SERE (2012)
Matthias Büchler, Johan Oudinet, Alexander Pretschner
SPaCiTE - Web Application Testing Engine. ICST (2012)
Matthias Büchler, Johan Oudinet, Alexander Pretschner
Security Mutants for Property-Based Testing. TAP@TOOLS (2011)
Alexander Pretschner, Enrico Lovat, Matthias Büchler
Representation-Independent Data Usage Control. DPM/SETOP (2011)

Matthias Büchler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Büchler