Matthias Büchler

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