Matthias Büchler

According to our database, Matthias Büchler authored at least 12 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

PellucidAttachment: Protecting Users From Attacks via E-Mail Attachments.

Sevtap Duman, Matthias Büchler, Manuel Egele, Engin Kirda

IEEE Trans. Dependable Secur. Comput., 2024

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

Security Testing: A Survey.

Michael Felderer, Matthias Büchler, Martin Johns, Achim D. Brucker, Ruth Breu, Alexander Pretschner

Adv. Comput., 2016

CRiOS: Toward Large-Scale iOS Application Analysis.

Damilola Orikogbo, Matthias Büchler, Manuel Egele

Proceedings of the 6th Workshop on Security and Privacy in Smartphones and Mobile Devices, 2016

2015

Semi-Automatic Security Testing of Web Applications with Fault Models and Properties.

Matthias Büchler

PhD thesis, 2015

2014

Model inference and security testing in the spacios project.

Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat

Proceedings of the 2014 Software Evolution Week, 2014

2013

Evaluation of ASLan Mutation Operators.

Johan Oudinet, Alberto Calvi, Matthias Büchler

Proceedings of the Tests and Proofs - 7th International Conference, 2013

Security Testing with Fault-Models and Properties.

Matthias Büchler

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Semi-Automatic Security Testing of Web Applications from a Secure Model.

Matthias Büchler, Johan Oudinet, Alexander Pretschner

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

SPaCiTE - Web Application Testing Engine.

Matthias Büchler, Johan Oudinet, Alexander Pretschner

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Security Mutants for Property-Based Testing.

Matthias Büchler, Johan Oudinet, Alexander Pretschner

Proceedings of the Tests and Proofs - 5th International Conference, 2011

Representation-Independent Data Usage Control.

Alexander Pretschner, Enrico Lovat, Matthias Büchler

Proceedings of the Data Privacy Management and Autonomous Spontaneus Security, 2011