Trustworthy Systems

Michael von Tessin
PhD Student

Research Interests

Michael is interested in operating systems (microkernels, multiprocessing, virtualisation, device drivers, networking, distributed systems), security (trusted computing, cryptography, security protocols) and formal verification (theorem proving, concurrency).

Contact Details

More contact information is available at the Contact page.

Photo of Michael von Tessin

Publication List

Projects

Past

Career Summary

[2007-2013] PhD Student at NICTA/UNSW, Sydney, Australia
[2013] Internship at VMware, Palo Alto, CA, USA
[2009] Internship at Microsoft Research, Redmond, WA, USA
[2004-2006] Software Engineer at Avaloq Evolution AG in Zurich, Switzerland
[1999-2004] BSc/MSc (Computer Science) student at ETH Zurich, Switzerland

Qualifications

[2006] Oracle Certified Professional (OCP) degree from the Oracle University, Switzerland
[2004] BSc/MSc (Computer Science) degree from ETH Zurich, Switzerland

Affiliations

NICTA (National ICT Australia), Sydney, Australia
UNSW (University of New South Wales), Sydney, Australia

Grants

[2012] student grant for EuroSys 2012
[2010] Postgraduate Research Support Scheme (PRSS) conference grant for FLoC 2010
[2009] student grant for USENIX ATC 2009
[2007-2011] University International Postgraduate Award (UIPA) scholarship
[2007-2011] NICTA Research Project Award (NRPA) scholarship

Publications

Trustworthy Systems Group Papers

2013

Abstract PDF Michael von Tessin
The clustered multikernel: An approach to formal verification of multiprocessor operating-system kernels
PhD Thesis, School of Computer Science and Engineering, UNSW, Sydney, Australia, Sydney, Australia, December, 2013

2012

Abstract
Slides
PDF Michael von Tessin
The clustered multikernel: An approach to formal verification of multiprocessor OS kernels
2nd Workshop on Systems for Future Multi-core Architectures, pp. 1–6, Bern, Switzerland, April, 2012

2011

Abstract
Slides
PDF Gernot Heiser, Leonid Ryzhyk, Michael von Tessin and Aleksander Budzynowski
What if you could actually Trust your kernel?
Workshop on Hot Topics in Operating Systems (HotOS), pp. 1–5, Napa, CA, USA, May, 2011

2010

Abstract
Slides
PDF Michael von Tessin
Towards high-assurance multiprocessor virtualisation
6th International Verification Workshop, pp. 110–125, Edinburgh, UK, July, 2010

2009

Abstract   Michael von Tessin
Towards a formally verifiable multiprocessor microkernel
Poster presented at the 2009USENIX Annual Technical Conference, June, 2009