[This page is probaly not up to date. Google Scholar and ORCID tend to have a better view on what I’m up to.]

Key Publications
Conference Papers
Journal Articles
Invited Articles, Reports, Editorial Work, Other Contributions

Key Publications

Mühlberg, J. T., Bulck, J. V., Maene, P., Noorman, J., Preneel, B., Verbauwhede, I., & Piessens, F. (2019). “Architectural Security for Embedded Control Systems.” Software Blog. Retrieved from http://blog.ieeesoftware.org/2019/05/architectural-security-for-embedded.html
Noorman, J., Van Bulck, J., Mühlberg, J. T., Piessens, F., Maene, P., Preneel, B., Verbauwhede, I., et al. (2017). “Sancus 2.0: A Low-Cost Security Architecture for IoT Devices.” ACM Transactions on Privacy and Security (TOPS), 20(3), 7:1–7:33. Retrieved from https://www.beetzsee.de/posts/papers/2017-tops-sancus2.pdf
Philippaerts, P., Mühlberg, J. T., Penninckx, W., Smans, J., Jacobs, B., & Piessens, F. (2014). “Software Verification with VeriFast: Industrial Case Studies.” Science of Computer Programming (SCP), 82, 77–97. Retrieved from https://www.beetzsee.de/posts/papers/2014-scp-vf-case-studies.pdf

Conference Papers

Busi, M., Noorman, J., Van Bulck, J., Galletta, L., Degano, P., Mühlberg, J. T., & Piessens, F. (2020). “Securing Interruptible Enclaves.” In Principles of Secure Compilation (PriSC). Retrieved from https://www.beetzsee.de/posts/papers/2020-prisc-nemdef.pdf
```
@inproceedings{busi_2020_securing,
  title = {Securing Interruptible Enclaves},
  author = {Busi, Matteo and Noorman, Job and Van Bulck, Jo and Galletta, Letterio and Degano, Pierpaolo and M{\"u}hlberg, Jan Tobias and Piessens, Frank},
  booktitle = {Principles of Secure Compilation (PriSC)},
  year = {2020},
  url = {https://www.beetzsee.de/posts/papers/2020-prisc-nemdef.pdf}
}
```
Busi, M., Noorman, J., Van Bulck, J., Galletta, L., Degano, P., Mühlberg, J. T., & Piessens, F. (2020). “Provably secure isolation for interruptible enclaved execution on small microprocessors.” In Computer Security Foundations Symposium (CSF). IEEE. Retrieved from https://www.beetzsee.de/posts/papers/2020-csf-nemdef.pdf
```
@inproceedings{busi_2020isolation,
  title = {Provably secure isolation for interruptible enclaved execution on small microprocessors},
  author = {Busi, Matteo and Noorman, Job and Van Bulck, Jo and Galletta, Letterio and Degano, Pierpaolo and M{\"u}hlberg, Jan Tobias and Piessens, Frank},
  booktitle = {Computer Security Foundations Symposium (CSF)},
  year = {2020},
  organization = {IEEE},
  url = {https://www.beetzsee.de/posts/papers/2020-csf-nemdef.pdf}
}
```
Pennekamp, J., Alder, F., Matzutt, R., Mühlberg, J. T., Piessens, F., & Wehrle, K. (2020). “Secure End-to-End Sensing in Supply Chains.” In Conference on Communications and Network Security (CNS). IEEE. Retrieved from https://www.beetzsee.de/posts/papers/2020-cns-supply-chain.pdf
```
@inproceedings{pennekamp_2020_supply_chain,
  title = {Secure End-to-End Sensing in Supply Chains},
  author = {Pennekamp, Jan and Alder, Fritz and Matzutt, Roman and M{\"u}hlberg, Jan Tobias and Piessens, Frank and Wehrle, Klaus},
  booktitle = {Conference on Communications and Network Security (CNS)},
  publisher = {IEEE},
  year = {2020},
  url = {https://www.beetzsee.de/posts/papers/2020-cns-supply-chain.pdf}
}
```
Pouyanrad, S., Mühlberg, J. T., & Joosen, W. (2020). “SCF MSP: static detection of side channels in MSP430 programs.” In Proceedings of the 15th International Conference on Availability, Reliability and Security (ARES) (pp. 1–10). Retrieved from https://www.beetzsee.de/posts/papers/2020-ares-scfmsp.pdf
```
@inproceedings{pouyanrad_2020scfmsp,
  title = {SCF MSP: static detection of side channels in MSP430 programs},
  author = {Pouyanrad, Sepideh and M{\"u}hlberg, Jan Tobias and Joosen, Wouter},
  booktitle = {Proceedings of the 15th International Conference on
  Availability, Reliability and Security (ARES)},
  pages = {1--10},
  year = {2020},
  url = {https://www.beetzsee.de/posts/papers/2020-ares-scfmsp.pdf}
}
```
Werquin, T., Hubrechtsen, M., Thangarajan, A., Piessens, F., & Mühlberg, J. T. (2019). “Automated Fuzzing of Automotive Control Units.” In International Workshop on Attacks and Defenses for Internet-of-Things (ADIoT) / International Workshop on the Secure Internet of Things (SIoT). ACM. Retrieved from https://www.beetzsee.de/posts/papers/2019-siot-fuzzing.pdf
```
@inproceedings{werquin_2019fuzzing,
  author = {Werquin, Timothy and Hubrechtsen, Mathijs and Thangarajan, Ashok and Piessens, Frank and M{\"u}hlberg, Jan Tobias},
  title = {Automated Fuzzing of Automotive Control Units},
  booktitle = {International Workshop on Attacks and Defenses for
  Internet-of-Things (ADIoT) / International Workshop on the
  Secure Internet of Things (SIoT)},
  year = {2019},
  publisher = {ACM},
  url = {https://www.beetzsee.de/posts/papers/2019-siot-fuzzing.pdf}
}
```
Boockmann, J. H., Lüttgen, G., & Mühlberg, J. T. (2018). “Generating Inductive Shape Predicates for Runtime Checking and Formal Verification.” In ISoLA ’18, LNCS (Vol. 9276, pp. 37–52). Heidelberg: Springer. Retrieved from https://www.beetzsee.de/posts/papers/2018-isola-shape.pdf
```
@inproceedings{boockmann_2018generating_shape_preds,
  title = {Generating Inductive Shape Predicates for Runtime Checking
     and Formal Verification},
  author = {Boockmann, Jan H. and L{\"u}ttgen, Gerald and M{\"u}hlberg, Jan Tobias},
  booktitle = {ISoLA '18},
  series = {LNCS},
  year = {2018},
  volume = {9276},
  pages = {37--52},
  publisher = {Springer},
  address = {Heidelberg},
  url = {https://www.beetzsee.de/posts/papers/2018-isola-shape.pdf}
}
```
Mühlberg, J. T., & Van Bulck, J. (2018). “Tutorial: Building Distributed Enclave Applications with Sancus and SGX.” In DSN ’18. IEEE. Retrieved from https://www.beetzsee.de/posts/papers/2018-dsn-tutorial.pdf
```
@inproceedings{muehlber_2018tutorial_enclaves,
  title = {Tutorial:
                  Building Distributed Enclave Applications with
                  {Sancus} and {SGX}},
  author = {M{\"u}hlberg, Jan Tobias and Van Bulck, Jo},
  booktitle = {DSN '18},
  year = {2018},
  publisher = {IEEE},
  url = {https://www.beetzsee.de/posts/papers/2018-dsn-tutorial.pdf}
}
```
Noorman, J., Mühlberg, J. T., & Piessens, F. (2017). “Authentic Execution of Distributed Event-Driven Applications with a Small TCB.” In STM ’17, LNCS (Vol. 10547, pp. 55–71). Heidelberg: Springer. Retrieved from https://www.beetzsee.de/posts/papers/2017-stm-authentic.pdf
```
@inproceedings{noorman_2017authentic_execution,
  title = {Authentic Execution of Distributed Event-Driven
     Applications with a Small {TCB}},
  author = {Noorman, Job and M{\"u}hlberg, Jan Tobias and Piessens, Frank},
  booktitle = {STM '17},
  year = {2017},
  series = {LNCS},
  volume = {10547},
  pages = {55--71},
  publisher = {Springer},
  address = {Heidelberg},
  url = {https://www.beetzsee.de/posts/papers/2017-stm-authentic.pdf}
}
```
Van Bulck, J., Mühlberg, J. T., & Piessens, F. (2017). “VulCAN: Efficient Component Authentication and Software Isolation for Automotive Control Networks.” In ACSAC ’17 (pp. 225–237). ACM. Retrieved from https://www.beetzsee.de/posts/papers/2017-acsac-vulcan.pdf
```
@inproceedings{vanbulck_2017vulcan,
  title = {{VulCAN}: {E}fficient Component Authentication and Software Isolation
    for Automotive Control Networks},
  author = {Van Bulck, Jo and M{\"u}hlberg, Jan Tobias and Piessens, Frank},
  booktitle = {ACSAC '17},
  year = {2017},
  pages = {225--237},
  publisher = {ACM},
  url = {https://www.beetzsee.de/posts/papers/2017-acsac-vulcan.pdf}
}
```
Mühlberg, J. T., Cleemput, S., Mustafa, A. M., Van Bulck, J., Preneel, B., & Piessens, F. (2016). An Implementation of a High Assurance Smart Meter using Protected Module Architectures. In WISTP ’16, LNCS (Vol. 9895, pp. 53–69). Heidelberg: Springer.
```
@inproceedings{muehlber_smart_meter,
  title = {An Implementation of a High Assurance Smart Meter
                  using Protected Module Architectures},
  author = {M{\"u}hlberg, Jan Tobias and Cleemput, Sara and Mustafa, A. Mustafa and Van Bulck, Jo and Preneel, Bart and Piessens, Frank},
  booktitle = {WISTP '16},
  series = {LNCS},
  volume = {9895},
  pages = {53--69},
  year = {2016},
  publisher = {Springer},
  address = {Heidelberg}
}
```
Piessens, F., Devriese, D., Mühlberg, J. T., & Strackx, R. (2016). Security guarantees for the execution infrastructure of software applications. In Cybersecurity Development Conference (SecDev ’16) (pp. 81–87). New York: IEEE.
```
@inproceedings{piessens_sec_guarantees,
  title = {Security guarantees for the execution infrastructure
               of software applications},
  author = {Piessens, Frank and Devriese, Dominique and M{\"u}hlberg, Jan Tobias and Strackx, Raoul},
  booktitle = {Cybersecurity Development Conference (SecDev '16)},
  year = {2016},
  pages = {81--87},
  publisher = {IEEE},
  address = {New York}
}
```
Rupprecht, T., Chen, X., White, D. H., Mühlberg, J. T., Bos, H., & Lüttgen, G. (2016). POSTER: Identifying Dynamic Data Structures in Malware. In CCS ’16 (pp. 1772–1774). New York: ACM.
```
@inproceedings{rupprecht_malware_dsi_poster,
  title = {{POSTER}: {I}dentifying Dynamic Data Structures in Malware},
  author = {Rupprecht, Thomas and Chen, Xi and White, David H. and M{\"u}hlberg, Jan Tobias and Bos, Herbert and L{\"u}ttgen, Gerald},
  booktitle = {CCS '16},
  year = {2016},
  pages = {1772--1774},
  publisher = {ACM},
  address = {New York}
}
```
Van Bulck, J., Noorman, J., Mühlberg, J. T., & Piessens, F. (2016). Towards Availability and Real-Time Guarantees for Protected Module Architectures. In MASS ’16, MODULARITY Companion 2016 (pp. 146–151). New York: ACM.
```
@inproceedings{vanbulck:rt_pma,
  title = {Towards Availability and Real-Time Guarantees for Protected
                  Module Architectures},
  author = {Van Bulck, Jo and Noorman, Job and M{\"u}hlberg, Jan Tobias and Piessens, Frank},
  booktitle = {MASS '16, MODULARITY Companion 2016},
  year = {2016},
  pages = {146--151},
  publisher = {ACM},
  address = {New York}
}
```
van Ginkel, N., Strackx, R., Mühlberg, J. T., & Piessens, F. (2016). Towards Safe Enclaves. In 4th Workshop on Hot Issues in Security Principles and Trust (HotSpot ’16) (pp. 33–48). IFIP.
```
@inproceedings{vanginkel:safe_enclaves,
  title = {Towards Safe Enclaves},
  author = {van Ginkel, Neline and Strackx, Raoul and M{\"u}hlberg, Jan Tobias and Piessens, Frank},
  booktitle = {4th Workshop on
                  Hot Issues in Security Principles and Trust (HotSpot '16)},
  year = {2016},
  pages = {33--48},
  publisher = {IFIP}
}
```
Mühlberg, J. T., White, D., Dodds, M., Lüttgen, G., & Piessens, F. (2015). Learning Assertions to Verify Linked-List Programs. In SEFM ’15, LNCS (Vol. 9276, pp. 37–52). Heidelberg: Springer.
```
@inproceedings{muehlber_assertion_learning,
  title = {Learning Assertions to Verify Linked-List Programs},
  author = {M{\"u}hlberg, Jan Tobias and White, David and Dodds, Mike and L{\"u}ttgen, Gerald and Piessens, Frank},
  booktitle = {SEFM '15},
  series = {LNCS},
  volume = {9276},
  pages = {37--52},
  year = {2015},
  publisher = {Springer},
  address = {Heidelberg}
}
```
Mühlberg, J. T., Noorman, J., & Piessens, F. (2015). Lightweight and Flexible Trust Assessment Modules for the Internet of Things. In ESORICS ’15, LNCS (Vol. 9326, pp. 503–520). Heidelberg: Springer.
```
@inproceedings{muehlber_sancus_ta,
  title = {Lightweight and Flexible Trust Assessment 
                  Modules  for the {I}nternet of {T}hings},
  author = {M{\"u}hlberg, Jan Tobias and Noorman, Job and Piessens, Frank},
  booktitle = {ESORICS '15},
  series = {LNCS},
  volume = {9326},
  pages = {503--520},
  year = {2015},
  publisher = {Springer},
  address = {Heidelberg}
}
```
Van Bulck, J., Noorman, J., Mühlberg, J. T., & Piessens, F. (2015). Secure Resource Sharing for Embedded Protected Module Architectures. In WISTP ’15, LNCS (Vol. 9311, pp. 71–87). Heidelberg: Springer.
```
@inproceedings{vanbulck:sancus_ac,
  title = {Secure Resource Sharing for Embedded Protected Module
                  Architectures},
  author = {Van Bulck, Jo and Noorman, Job and M{\"u}hlberg, Jan Tobias and Piessens, Frank},
  booktitle = {WISTP '15},
  series = {LNCS},
  volume = {9311},
  pages = {71--87},
  year = {2015},
  publisher = {Springer},
  address = {Heidelberg}
}
```
Gadaleta, F., Nikiforakis, N., Mühlberg, J. T., & Joosen, W. (2012). HyperForce: Hypervisor-enForced Execution of Security-Critical Code. In IFIP SEC 2012, IFIP Advances in Information and Communication Technology (Vol. 376, pp. 126–137). Heidelberg: Springer.
```
@inproceedings{gadaleta:hyperforce,
  title = {Hyper{F}orce: {H}ypervisor-en{F}orced Execution of Security-Critical
            Code},
  author = {Gadaleta, Francesco and Nikiforakis, Nick and M{\"u}hlberg, Jan Tobias and Joosen, Wouter},
  booktitle = {IFIP SEC 2012},
  series = {IFIP Advances in
     Information and Communication Technology},
  volume = {376},
  pages = {126--137},
  year = {2012},
  publisher = {Springer},
  address = {Heidelberg}
}
```
Penninckx, W., Mühlberg, J. T., Jan Smans, B. J., & Piessens, F. (2012). Sound Formal Verification of Linux’s USB BP Keyboard Driver. In NFM 2012, LNCS (Vol. 7226, pp. 210–215). Heidelberg: Springer.
```
@inproceedings{penninckx_usbkbd,
  title = {Sound Formal Verification of {L}inux's {U}{S}{B} {B}{P}
    Keyboard Driver},
  author = {Penninckx, Willem and M{\"u}hlberg, Jan Tobias and Jan Smans, Bart Jacobs and Piessens, Frank},
  booktitle = {NFM 2012},
  year = {2012},
  volume = {7226},
  series = {LNCS},
  publisher = {Springer},
  address = {Heidelberg},
  pages = {210--215}
}
```

Massacci, F., Bouquet, F., Fourneret, E., Jürjens, J., Lund, M. S., Madelenat, S., Mühlberg, J. T., et al. (2011). Orchestrating Security and System Engineering for Evolving Systems. In ServiceWave 2011, LNCS (Vol. 6994, pp. 134–143). Heidelberg: Springer.

@inproceedings{massacci_securechange_inv_2011,
  title = {Orchestrating Security and System Engineering for Evolving
             Systems},
  author = {Massacci, Fabio and Bouquet, Fabrice and Fourneret, Elizabeta and J{\"u}rjens, Jan and Lund, Mass Soldal and Madelenat, Sebastien and M{\"u}hlberg, Jan Tobias and Paci, Federica and Paul, Stephane and Piessens, Frank and Solhaug, Bjornar and Wenzel, Sven},
  booktitle = {ServiceWave 2011},
  series = {LNCS},
  volume = {6994},
  pages = {134-143},
  year = {2011},
  publisher = {Springer},
  address = {Heidelberg}
}

Mühlberg, J. T., & Freitas, L. (2011). Verifying FreeRTOS: from requirements to binary code. In AVoCS ’11, Computing Science Technical Reports, Newcastle University (Vol. CS-TR-1272).
```
@inproceedings{muehlberg_freertos_avocs_2011,
  title = {Verifying {F}ree{R}{T}{O}{S}: from requirements to binary code},
  author = {M{\"u}hlberg, Jan Tobias and Freitas, Leo},
  booktitle = {AVoCS '11},
  year = {2011},
  series = {Computing Science Technical Reports, Newcastle University},
  volume = {CS-TR-1272},
  note = {Short paper}
}
```
Mühlberg, J. T. (2011, May). A Quick Tour of the VeriFast Program Verifier.
```
@misc{muehlberg_verifast_quick_tour_newcastle,
  title = {A Quick Tour of the {V}eri{F}ast Program Verifier},
  author = {M{\"u}hlberg, Jan Tobias},
  year = {2011},
  month = may,
  note = {Talk at a Departmental Seminar of the School of Computing,
    Newcastle University, UK.}
}
```
Mühlberg, J. T., & Lüttgen, G. (2010). Symbolic Object Code Analysis. In SPIN ’10, LNCS (Vol. 6349, pp. 4–21). Heidelberg: Springer.
```
@inproceedings{muehlber_soca,
  title = {Symbolic Object Code Analysis},
  author = {M{\"u}hlberg, Jan Tobias and L{\"u}ttgen, Gerald},
  booktitle = {SPIN '10},
  series = {LNCS},
  volume = {6349},
  pages = {4--21},
  year = {2010},
  publisher = {Springer},
  address = {Heidelberg}
}
```
Mühlberg, J. T. (2010). Model Checking Pointer Safety in Compiled Programs (PhD thesis). Department of Computer Science, University of York.
```
@phdthesis{muehlberg_mc_pointer_safety,
  title = {Model Checking Pointer Safety in Compiled Programs},
  author = {M{\"u}hlberg, Jan Tobias},
  school = {Department of Computer Science, University of York},
  year = {2010},
  note = {Available at \url{http://etheses.whiterose.ac.uk/841/}.}
}
```
Galloway, A., Lüttgen, G., Mühlberg, J. T., & Siminiceanu, R. (2009). Model-Checking the Linux Virtual File System. In VMCAI ’09, LNCS (Vol. 5403, pp. 74–88). Heidelberg: Springer.
```
@inproceedings{galloway:mc_linux_vfs,
  author = {Galloway, Andy and L{\"u}ttgen, Gerald and M{\"u}hlberg, Jan Tobias and Siminiceanu, Radu},
  title = {Model-Checking the {L}inux {V}irtual {F}ile {S}ystem},
  booktitle = {VMCAI '09},
  publisher = {Springer},
  address = {Heidelberg},
  series = {LNCS},
  volume = {5403},
  pages = {74-88},
  year = {2009}
}
```
Mühlberg, J. T., & Lüttgen, G. (2009). Verifying Compiled File System Code. In SBMF ’09, LNCS (Vol. 5902, pp. 306–320). Heidelberg: Springer.
```
@inproceedings{muehlber_vfs,
  title = {Verifying Compiled File System Code},
  author = {M{\"u}hlberg, Jan Tobias and L{\"u}ttgen, Gerald},
  booktitle = {SBMF '09},
  publisher = {Springer},
  series = {LNCS},
  volume = {5902},
  address = {Heidelberg},
  pages = {306--320},
  year = {2009}
}
```
Mühlberg, J. T., & Lüttgen, G. (2007). BLASTing Linux code. In FMICS ’06, LNCS (Vol. 4346, pp. 211–226). Heidelberg: Springer.
```
@inproceedings{muehlber_blasting_linux_code,
  title = {{B}{L}{A}{S}{T}ing {L}inux code},
  author = {M{\"u}hlberg, Jan Tobias and L{\"u}ttgen, Gerald},
  booktitle = {FMICS '06},
  publisher = {Springer},
  address = {Heidelberg},
  series = {LNCS},
  volume = {4346},
  pages = {211--226},
  year = {2007}
}
```
Mühlberg, J. T., & Lüttgen, G. (2007). BLASTing Linux Code (No. YCS-2007-417). Department of Computer Science, University of York, UK.
```
@techreport{muehlberg_blasting_linux_code_rep,
  author = {M{\"u}hlberg, Jan Tobias and L{\"u}ttgen, Gerald},
  title = {{B}{L}{A}{S}{T}ing {L}inux {C}ode},
  institution = {Department of Computer Science, University of York, UK},
  number = {YCS-2007-417},
  year = {2007}
}
```
Mühlberg, J. T. (2006). Software Engineering und Softwarequalität in Open-Source-Projekten. In Open Source Jahrbuch 2006: Zwischen Softwareentwicklung und Gesellschaftsmodell (pp. 251–262). Berlin, Germany: Technische Universität Berlin and Lehmanns Media.
```
@incollection{muehlberg_se_und_quali_in_osproj,
  author = {{M}{\"u}hlberg, Jan Tobias},
  title = {{S}oftware {E}ngineering und {S}oftwarequalit{\"a}t in
                    {O}pen-{S}ource-{P}rojekten},
  pages = {251--262},
  booktitle = {{O}pen {S}ource {J}ahrbuch 2006:
                    {Z}wischen {S}oftwareentwicklung und
                    {G}esellschaftsmodell},
  year = {2006},
  publisher = {Technische Universit{\"a}t Berlin and Lehmanns Media},
  address = {Berlin, Germany}
}
```

Journal Articles

Mühlberg, J. T., & Van Bulck, J. (2018). “Reflections on post-Meltdown trusted computing: A case for open security processors.” ;login: the USENIX magazine, 43(3), 1–4. Retrieved from https://www.beetzsee.de/posts/papers/2018-login-meltdown.pdf
```
@article{muehlber_2018post_meltdown,
  title = {Reflections on post-Meltdown trusted
                  computing: A case for open security processors},
  author = {M{\"u}hlberg, Jan Tobias and Van Bulck, Jo},
  journal = {;login: the USENIX magazine},
  year = {2018},
  volume = {43},
  number = {3},
  pages = {1--4},
  publisher = {USENIX},
  url = {https://www.beetzsee.de/posts/papers/2018-login-meltdown.pdf}
}
```
Noorman, J., Van Bulck, J., Mühlberg, J. T., Piessens, F., Maene, P., Preneel, B., Verbauwhede, I., et al. (2017). “Sancus 2.0: A Low-Cost Security Architecture for IoT Devices.” ACM Transactions on Privacy and Security (TOPS), 20(3), 7:1–7:33. Retrieved from https://www.beetzsee.de/posts/papers/2017-tops-sancus2.pdf
```
@article{noorman_sancus2,
  title = {Sancus 2.0: {A} Low-Cost Security Architecture for {I}o{T}
                  Devices},
  author = {Noorman, Job and Van Bulck, Jo and M{\"u}hlberg, Jan Tobias and Piessens, Frank and Maene, Pieter and Preneel, Bart and Verbauwhede, Ingrid and G{\"o}tzfried, Johannes and M{\"u}ller, Tilo and Freiling, Felix},
  journal = {ACM Transactions on Privacy and Security (TOPS)},
  pages = {7:1--7:33},
  year = {2017},
  volume = {20},
  issue = {3},
  publisher = {ACM},
  url = {https://www.beetzsee.de/posts/papers/2017-tops-sancus2.pdf}
}
```
Mühlberg, J. T., & Lüttgen, G. (2014). “Symbolic Object Code Analysis.” Intern. J. on Software Tools for Technology Transfer (STTT), 16, 81–102. Retrieved from https://www.beetzsee.de/posts/papers/2012-sttt-soca.pdf
```
@article{muehlber_soca_sttt,
  title = {Symbolic Object Code Analysis},
  author = {M{\"u}hlberg, Jan Tobias and L{\"u}ttgen, Gerald},
  journal = {Intern. J. on Software Tools for Technology
                  Transfer (STTT)},
  year = {2014},
  volume = {16},
  pages = {81--102},
  publisher = {Springer},
  address = {Heidelberg},
  url = {https://www.beetzsee.de/posts/papers/2012-sttt-soca.pdf}
}
```
Philippaerts, P., Mühlberg, J. T., Penninckx, W., Smans, J., Jacobs, B., & Piessens, F. (2014). “Software Verification with VeriFast: Industrial Case Studies.” Science of Computer Programming (SCP), 82, 77–97. Retrieved from https://www.beetzsee.de/posts/papers/2014-scp-vf-case-studies.pdf
```
@article{philippaerts_vf_case_studies,
  title = {Software Verification with {V}eri{F}ast:
                  {I}ndustrial Case Studies},
  author = {Philippaerts, Pieter and M{\"u}hlberg, Jan Tobias and Penninckx, Willem and Smans, Jan and Jacobs, Bart and Piessens, Frank},
  journal = {Science of Computer Programming (SCP)},
  year = {2014},
  volume = {82},
  pages = {77--97},
  publisher = {Elsevier},
  address = {Amsterdam},
  url = {https://www.beetzsee.de/posts/papers/2014-scp-vf-case-studies.pdf}
}
```
Mühlberg, J. T., & Lüttgen, G. (2012). “Verifying Compiled File System Code.” Formal Aspects of Computing, 24(3), 375–391. Retrieved from https://www.beetzsee.de/posts/papers/2010-facj-vfs.pdf
```
@article{muehlber_vfs_facj,
  title = {Verifying Compiled File System Code},
  author = {M{\"u}hlberg, Jan Tobias and L{\"u}ttgen, Gerald},
  journal = {Formal Aspects of Computing},
  publisher = {Springer},
  address = {Heidelberg},
  year = {2012},
  volume = {24},
  issue = {3},
  pages = {375--391},
  url = {https://www.beetzsee.de/posts/papers/2010-facj-vfs.pdf}
}
```

Invited Articles, Reports, Editorial Work, Other Contributions

Molnar, P. (2020, November). “Technological Testing Grounds: Migration Management Experiments and Reflections from the Ground Up.” Retrieved from https://edri.org/wp-content/uploads/2020/11/Technological-Testing-Grounds.pdf
```
@misc{molnar_2020_tech_testing_grounds,
  title = {Technological Testing Grounds: Migration Management Experiments
      and Reflections from the Ground Up},
  author = {Molnar, Petra},
  year = {2020},
  month = nov,
  url = {https://edri.org/wp-content/uploads/2020/11/Technological-Testing-Grounds.pdf}
}
```
Adler, D., Wargan, D., & Prakash, S. (2019, December). “A Blueprint for Europe’s Just Transition.” Retrieved from https://report.gndforeurope.com/cms/wp-content/uploads/2020/01/Blueprint-for-Europes-Just-Transition-2nd-Ed.pdf
```
@misc{adler_2019_gnde,
  title = {A Blueprint for Europe's Just
      Transition},
  edition = {2},
  author = {Adler, David and Wargan, David and Prakash, Sona},
  year = {2019},
  month = dec,
  url = {https://report.gndforeurope.com/cms/wp-content/uploads/2020/01/Blueprint-for-Europes-Just-Transition-2nd-Ed.pdf}
}
```
Mühlberg, J. T., Bulck, J. V., Maene, P., Noorman, J., Preneel, B., Verbauwhede, I., & Piessens, F. (2019). “Architectural Security for Embedded Control Systems.” Software Blog. Retrieved from http://blog.ieeesoftware.org/2019/05/architectural-security-for-embedded.html
```
@article{muehlber_2019arch_sec,
  author = {M{\"u}hlberg, Jan Tobias and Bulck, Jo Van and Maene, Pieter and Noorman, Job and Preneel, Bart and Verbauwhede, Ingrid and Piessens, Frank},
  title = {Architectural Security for Embedded Control Systems},
  year = {2019},
  publisher = {IEEE},
  journal = {Software Blog},
  url = {http://blog.ieeesoftware.org/2019/05/architectural-security-for-embedded.html}
}
```
Mühlberg, J. T., & Nuñez, S. (2016). “Emerging Challenges in Embedded Software.” Nuevas Tecnologías Blog. Retrieved from https://www.beetzsee.de/posts/papers/2016-tecnonews-qatest-en.pdf
```
@article{muehlber_2016technonews_en,
  author = {M{\"u}hlberg, Jan Tobias and Nu{\~n}ez, Silvia},
  title = {Emerging Challenges in Embedded Software},
  year = {2016},
  publisher = {Technonews},
  journal = {Nuevas Tecnolog\'{i}as Blog},
  url = {https://www.beetzsee.de/posts/papers/2016-tecnonews-qatest-en.pdf}
}
```
Mühlberg, J. T., & Nuñez, S. (2016). “Nuevos desafíos en el Software Embedded.” Nuevas Tecnologías Blog. Retrieved from https://www.tecnonews.info/opiniones/nuevos_desafios_en_el_software_embedded
```
@article{muehlber_2016technonews_es,
  author = {M{\"u}hlberg, Jan Tobias and Nu{\~n}ez, Silvia},
  title = {Nuevos desaf\'{i}os en el Software Embedded},
  year = {2016},
  publisher = {Technonews},
  journal = {Nuevas Tecnolog\'{i}as Blog},
  url = {https://www.tecnonews.info/opiniones/nuevos_desafios_en_el_software_embedded}
}
```
De Ryck, L., Phillipe Desmet, Joosen, W., Mühlberg, J. T., Piessens, F., Johns, M., Lekies, S., Davies, E., et al. (2013). “D1.1: Web-platform security guide: Security assessment of the Web ecosystem.” STREWS EU Project. Retrieved from http://www.strews.eu/
```
@techreport{deryck:strews_d11,
  author = {De Ryck, Phillipe Desmet, Lieven and Joosen, Wouter and M{\"u}hlberg, Jan Tobias and Piessens, Frank and Johns, Martin and Lekies, Sebastian and Davies, Elwyn and Farrell, Stephen and Bos, Bert and Roessler, Thomas},
  title = {{D}1.1: {W}eb-platform security guide:
    {S}ecurity assessment of the {W}eb ecosystem},
  type = {Public project deliverable},
  institution = {STREWS EU Project},
  url = {http://www.strews.eu/},
  year = {2013}
}
```
Fontaine, A., Gadyatskaya, O., Piessens, F., Simplot-Ryl, I., Mühlberg, J. T., Massacci, F., Phillipov, A., et al. (2012). “D6.6: Development-Time and On-Device Interplay.” SecureChange EU Project. Retrieved from http://www.securechange.eu
```
@techreport{fontaine:securechange_d66,
  author = {Fontaine, Arnaud and Gadyatskaya, Olga and Piessens, Frank and Simplot-Ryl, Isabelle and M{\"u}hlberg, Jan Tobias and Massacci, Fabio and Phillipov, Anton and Capelastegui, Pedro and Jacobs, Bart and Philippaerts, Pieter},
  title = {{D}6.6: {D}evelopment-{T}ime and {O}n-{D}evice {I}nterplay},
  type = {Public project deliverable},
  institution = {SecureChange EU Project},
  url = {http://www.securechange.eu},
  year = {2012}
}
```

Mühlberg, J. T., & Lüttgen, G. (2010). “Symbolic Object Code Analysis.” Faculty of Information Systems and Applied Computer Science, The University of Bamberg. Retrieved from http://www.opus-bayern.de/uni-bamberg/volltexte/2010/236/

@techreport{muehlber_soca_techrep,
  title = {Symbolic Object Code Analysis},
  author = {M{\"u}hlberg, Jan Tobias and L{\"u}ttgen, Gerald},
  institution = {Faculty of
                  Information Systems and Applied Computer Science,
                  The University of Bamberg},
  type = {Technical report appeared in Bamberger Beitr{\"a}ge
                  zur Wirtschaftsinformatik und Angewandten Informatik},
  number = {85/2010},
  year = {2010},
  note = {ISSN 0937-3349},
  url = {http://www.opus-bayern.de/uni-bamberg/volltexte/2010/236/}
}

Galloway, A., Mühlberg, J. T., Siminiceanu, R., & Lüttgen, G. (2007). Model-checking Part of a Linux File System (No. YCS-2007-423). Department of Computer Science, University of York, UK.
```
@techreport{galloway:fs-study-techrep,
  author = {Galloway, Andy and M{\"u}hlberg, Jan Tobias and Siminiceanu, Radu and L{\"u}ttgen, Gerald},
  title = {{M}odel-checking Part of a {L}inux File System},
  institution = {Department of Computer Science, University of York, UK},
  number = {YCS-2007-423},
  year = {2007}
}
```
Mühlberg, J. T., & Perna, J. I. (Eds.). (2007). Proc. 1st York Doctoral Symposium on Computing. Technical Reports in Computer Science. Department of Computer Science, The University of York.
```
@proceedings{muehlberg_yds_07_proceedings,
  editor = {M{\"u}hlberg, Jan Tobias and Perna, Juan Ignacio},
  title = {Proc. 1st York Doctoral Symposium on Computing},
  number = {YCS-2007-421},
  series = {Technical Reports in Computer Science},
  publisher = {Department of Computer Science, The University of York},
  year = {2007},
  month = oct
}
```

Heinrich, H., Holl, F., Menzel, K., Mühlberg, J. T., Schäfer, I., & Schüngel, H. (2006). Metastudie Open-Source-Software und ihre Bedeutung für Innovatives Handeln. Berlin, Germany: Friedrich Holl, self-published.

@book{heinrich:metastudie_oss,
  title = {{Metastudie Open-Source-Software und ihre Bedeutung f{\"u}r
                 Innovatives Handeln}},
  author = {Heinrich, Hartmut and Holl, Friedrich and Menzel, Katharina and M{\"u}hlberg, Jan Tobias and Sch{\"a}fer, Ingo and Sch{\"u}ngel, Hanno},
  publisher = {Friedrich Holl, self-published},
  address = {Berlin, Germany},
  year = {2006},
  note = {Study commissioned by the Federal Ministry
                of Education and Research of Germany.}
}

Holl, F., Menzel, K., Morcinek, P., Mühlberg, J. T., Schäfer, I., & Schüngel, H. (2006). Forschungsbericht: Innovationsverhalten deutscher Software-Entwicklungsunternehmen. Berlin, Germany: Friedrich Holl, self-published.

@book{holl:innovationsverhalten,
  title = {{Forschungsbericht: Innovationsverhalten deutscher
                Software-Entwicklungsunternehmen}},
  author = {Holl, Friedrich and Menzel, Katharina and Morcinek, Peter and M{\"u}hlberg, Jan Tobias and Sch{\"a}fer, Ingo and Sch{\"u}ngel, Hanno},
  publisher = {Friedrich Holl, self-published},
  address = {Berlin, Germany},
  year = {2006},
  note = {Study commissioned by the Federal Ministry
                of Education and Research of Germany.}
}

Last modified: 2021-01-18 23:45:17 +0100