About Me

Dr.
MSc. ETH CS

Matthias Büchler

Boston University
Electrical & Computer Engineering
8 St. Mary’s St., Room 422
Boston, MA 02215
United States
mbuchler@bu.edu
info@matt-buechler.com

Google Scholar Profile
ResearchGate.net Profile
DBLP Profile

I am a postdoctoral researcher at Boston University in the group of Manuel Egele. My research interests include Information Security, Security Modeling, Security Engineering, Security Testing, Domain Specific Languages, and Usage Control. Before joining Boston University, I was a Ph.D student at the Faculty of Computer Science at the Technical University Munich (TU Munich). My supervisor was Prof. Dr. Alexander Pretschner. In March 2013, I won the Google Best PhD Student Paper Award at ICST 2013 (PhD Symposium). Before joining TU Munich, I was a scientific researcher in the Certifiable Trustworthy IT Systems group at the Karlsruhe Institute of Technology, and a scientific researcher in the Native Systems Group at the Swiss Federal Institute of Technology Zurich (ETH Zurich). I received both my BSc. and MSc. degree (Information Security) in Computer Science from ETH Zurich.

 
 

Teaching Assistance

 
Spring 2016 (Boston University): Vulnerability, Malware, and Defense Analysis Seminar (EC700)
SS 2015 (TU Munich): Tutorübungen zu Einführung in die Softwaretechnik
SS 2014 (TU Munich): Tutorübungen zu Einführung in die Softwaretechnik
WS 2013/2014 (TU Munich): Security Engineering Lab
WS 2013/2014 (TU Munich): Security in IT Systems: Machine Learning for Security
WS 2012/2013 (TU Munich): Security Engineering Lab
WS 2011/2012 (KIT): Seminar Secure IT Systems
SS 2011 (KIT): Security Engineering Lab
SS 2010 (ETH Zurich): Parallel Programming, Recitation sessions

 
 

Publications

 

2016

 
Felderer, M., Büchler, M., Johns, M., Brucker, A., Breu, R., Pretschner, A.:
Security Testing: A Survey
In Memon, A.: Advances in Computers, Volume 101, pages 1–51. ISBN 978-0-12-805158-0, Academic Press, 2016
 
 

2015

 
Michael Felderer, Philipp Zech, Ruth Breu, Matthias Büchler, and Alexander Pretschner.
Model-based security testing: A taxonomy and systematic classification
Software Testing, Verification and Reliability, 2015.
 
 

2013

 
Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, and Catherine Oriat
Model Inference and Security Testing in the SPaCIoS Project
Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE), 2014 Software Evolution Week – IEEE Conference on, pp.411,414, 3-6 Feb. 2014

The SPaCIoS project consortium:
A tool for the secure provision and consumption in the internet of services
OWASP AppSec Research, August 2013

Johan Oudinet, Alberto Calvi, and Matthias Büchler.
Evaluation of ASLan Mutation Operators
In Margus Veanes, and Luca Viganò (Eds.), TAP, (7942):178-196, Springer, 2013.

Büchler, M.:
Security Testing with Fault-Models and Properties
Software Testing, Verification and Validation (ICST) Ph.D Symposium, 2013 IEEE Sixth International Conference on, pp.501,502, 18-22 March 2013
Google Best PhD Student Paper Award
 
 

2012

 
Büchler, M., Oudinet, J., Pretschner, A.:
Semi-Automatic Security Testing of Web Applications from a Secure ModelSoftware Security and Reliability (SERE), 2012 IEEE Sixth International Conference on, pp.253,262, 20-22 June 2012

Büchler, M., Oudinet, J., Pretschner, A.:
Semi-automatic security testing of web applications from a secure model
KIT, Tech. Rep. 1000025844

Büchler, M., Oudinet, J., Pretschner, A.:
SPaCiTE–Web Application Testing Engine
Proc. 3rd Intl. Workshop on Security Testing, Montreal, April 2012
Demo available
 
 

2011

 
Büchler, M., Oudinet, J., Pretschner, A.:
Security Mutants for Property-Based Testing
Proc. 5th Intl. Conf. on Test and Proofs (TAP), Zurich, June 2011

A Pretschner, E Lovat, M Büchler
Representation-Independent Data Usage Control
Proc. 6th Intl. Workshop on Data Privacy Management, pp. 122-140, September 2011. Demos available.
An extended version is available as technical report, Karlsruhe Reports in Informatics 2011,23.
 
 

2010

 
Method and apparatus for performing a file operation
M Buechler, T Walter, A Pretschner, M Harvan, C Schaefer
EP Patent 2,194,456
 
 

2009

 
Usage control enforcement with data flow tracking for x11
A Pretschner, M Buechler, M Harvan, C Schaefer, T Walter
Proc. 5th Intl. Workshop on Security and Trust Management, 124-137

 
 

Organized Workshops

 
The Fifth International Workshop on Security Testing (SECTEST 2014)

 
 

Workshop Chair

 
Co-Chair – The Fifth International Workshop on Security Testing (SECTEST 2014)

 
 

Reviews for Journals

 
SoSyM – Journal on Software & System Modeling

 
 

PC Member

 
The 6th International Workshop on Security, Privacy and Performance in Cloud Computing (SPCLOUD 2016)
The Second International Conference on Advances and Trends in Software Engineering (SOFTENG 2016)
First domAin specific Model-based AppRoach to vErificaTion and validation workshop (AMARETTO 2016)
5th International Workshop on Security, Privacy and Performance in Cloud Computing (SPCLOUD 2015)
10th International Workshop on Security and High Performance Computing Systems (SHPCS 2015)
The 6th international Workshop on Security Testing (SECTEST 2015)
Testing: Academic & Industrial Conference – Practice and Research Techniques (TAIC PART 2015)
Testing: Academic & Industrial Conference – Practice and Research Techniques (TAIC PART 2014)
The 9th Workshop on Advances in Model Based Testing (A-MOST 2013)
The 8th Workshop on Advances in Model Based Testing (A-MOST 2012)

 
 

Talks

 
Beihang University, Beijing, China, 2015
University of Southern California, Los Angeles, 2013
Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, Pisa, Italy, 2012
TrendKongress 2011, Karlsruhe