 |
Dr. MSc. ETH CS Matthias Büchler |
|
|
Boston University Electrical & Computer Engineering 8 St. Mary’s St., Room 422 Boston, MA 02215 United States |
||
| 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
Fall 2016 (Boston University): Introduction to Operating Systems (EC440)
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
D. Orikogbo, M. Büchler, and M. Egele.
CRiOS: Toward Large-Scale iOS Application Analysis
in Proceedings of the 6th Workshop on Security and Privacy in Smartphones and Mobile Devices, SPSM ’16, (New York, NY, USA), pp. 33–42, ACM, 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