[This page is probably 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, Drafts, Reports, Editorial Work, Other Contributions

Key Publications

This post at the IEEE Software Blog gives a good overview of the thechnology I’m working on:

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

Key publications at academic venues:

Alder, F., Van Bulck, J., Piessens, F., & Mühlberg, J. T. (2021). “Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves.” In CCS ’21. New York, NY, USA: ACM. doi:10.1145/3460120.3484782
Winderix, H., Mühlberg, J. T., & Piessens, F. (2021). “Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks.” In EuroS&P ’21 (pp. 667–682). Washington, DC, USA: IEEE. doi:10.1109/EuroSP51992.2021.00050
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). New York, NY, USA: ACM. doi:10.1145/3134600.3134623
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. doi:10.1145/3079763
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. doi:10.1016/j.scico.2013.01.006

Conference Papers

Alder, F., Scopelliti, G., Van Bulck, J., & Mühlberg, J. T. (2023). About Time: On the Challenges of Temporal Guarantees in Untrusted Environments. In Workshop on System Software for Trusted Execution (SysTEX 2023).
```
@inproceedings{alder_2023_time,
  title = {About Time: On the Challenges of Temporal Guarantees in Untrusted Environments},
  author = {Alder, Fritz and Scopelliti, Gianluca and Van Bulck, Jo and M{\"u}hlberg, Jan Tobias},
  booktitle = {Workshop on System Software for Trusted Execution (SysTEX 2023)},
  year = {2023}
}
```
Gülmez, M., Nyman, T., Baumann, C., & Mühlberg, J. T. (2023). Rewind & Discard: Improving Software Resilience using Isolated Domains. To appear in DSN’23.
```
@misc{gulmez_2023_sdrad,
  title = {Rewind \& {D}iscard: Improving Software Resilience using Isolated Domains},
  author = {G\"ulmez, Merve and Nyman, Thomas and Baumann, Christoph and M\"uhlberg, Jan Tobias},
  year = {2023},
  howpublished = {{To} appear in DSN'23},
  note = {A technical report is available at \url{https://arxiv.org/pdf/2205.03205.pdf}}
}
```
Mühlberg, J. T. (2022). “Sustaining Security and Safety in ICT: A Quest for Terminology, Objectives, and Limits.” In Proceeding of the 8th Workshop on Computing within Limits (LIMITS 2022). doi:10.21428/bf6fb269.58c3a89d
```
@inproceedings{muehlberg_2022_sustaining_sec,
  title = {Sustaining Security and Safety in {ICT}: {A} Quest for Terminology, Objectives, and Limits},
  author = {M{\"u}hlberg, Jan Tobias},
  year = {2022},
  booktitle = {Proceeding of the 8th Workshop on Computing within Limits
    (LIMITS 2022)},
  url = {https://www.beetzsee.de/posts/papers/2022-limits-sustaining-sec.pdf},
  doi = {10.21428/bf6fb269.58c3a89d}
}
```
Alder, F., Van Bulck, J., Piessens, F., & Mühlberg, J. T. (2021). “Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves.” In CCS ’21. New York, NY, USA: ACM. doi:10.1145/3460120.3484782
```
@inproceedings{alder_2021_aion,
  title = {Aion: {E}nabling {O}pen {S}ystems through {S}trong
                  {A}vailability {G}uarantees for {E}nclaves},
  author = {Alder, Fritz and Van Bulck, Jo and Piessens, Frank and M{\"u}hlberg, Jan Tobias},
  booktitle = {CCS '21},
  year = {2021},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/3460120.3484782},
  url = {https://www.beetzsee.de/posts/papers/2021-ccs-aion.pdf}
}
```

Budigiri, G., Baumann, C., Mühlberg, J. T., Truyen, E., & Joosen, W. (2021). “Network Policies in Kubernetes: Performance Evaluation and Security Analysis.” In Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit), LNCS. Heidelberg: Springer. doi:10.1109/EuCNC/6GSummit51104.2021.9482526

@inproceedings{budigiri_2021eucnc_policies,
  title = {Network Policies in {K}ubernetes: {P}erformance Evaluation and Security Analysis},
  author = {Budigiri, Gerald and Baumann, Christoph and M{\"u}hlberg, Jan Tobias and Truyen, Eddy and Joosen, Wouter},
  booktitle = {Joint European Conference on Networks and Communications \& 6G Summit (EuCNC/6G Summit)},
  series = {LNCS},
  volume = {},
  pages = {},
  year = {2021},
  publisher = {Springer},
  address = {Heidelberg},
  url = {https://www.beetzsee.de/posts/papers/2021-eucnc-policies.pdf},
  doi = {10.1109/EuCNC/6GSummit51104.2021.9482526}
}

Scopelliti, G., Pouyanrad, S., Noorman, J., Alder, F., Piessens, F., & Mühlberg, J. T. (2021). “POSTER: An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications.” In CCS ’21. New York, NY, USA: ACM. doi:10.1145/3460120.3485341
```
@inproceedings{scopelliti2021hetero,
  title = {{POSTER:} {A}n Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications},
  author = {Scopelliti, Gianluca and Pouyanrad, Sepideh and Noorman, Job and Alder, Fritz and Piessens, Frank and M{\"u}hlberg, Jan Tobias},
  booktitle = {CCS '21},
  year = {2021},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/3460120.3485341},
  url = {https://www.beetzsee.de/posts/papers/2021-ccs-authentic.pdf}
}
```
Winderix, H., Mühlberg, J. T., & Piessens, F. (2021). “Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks.” In EuroS&P ’21 (pp. 667–682). Washington, DC, USA: IEEE. doi:10.1109/EuroSP51992.2021.00050
```
@inproceedings{winderix_2021_nemesis_def,
  title = {Compiler-Assisted Hardening of Embedded Software Against
    Interrupt Latency Side-Channel Attacks},
  author = {Winderix, Hans and M{\"u}hlberg, Jan Tobias and Piessens, Frank},
  booktitle = {EuroS\&P '21},
  pages = {667 -- 682},
  year = {2021},
  publisher = {IEEE},
  address = {Washington, DC, USA},
  url = {https://www.beetzsee.de/posts/papers/2021-eurosp-nemesis-def.pdf},
  doi = {10.1109/EuroSP51992.2021.00050}
}
```
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. doi:10.1109/CSF49147.2020.00026
```
@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},
  doi = {10.1109/CSF49147.2020.00026}
}
```
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. doi:10.1109/CNS48642.2020.9162337
```
@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},
  doi = {10.1109/CNS48642.2020.9162337}
}
```
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). doi:10.1145/3407023.3407050
```
@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},
  doi = {10.1145/3407023.3407050}
}
```
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) (pp. 1–8). ACM. doi:10.1109/SIOT48044.2019.9637090
```
@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},
  pages = {1 -- 8},
  publisher = {ACM},
  url = {https://www.beetzsee.de/posts/papers/2019-siot-fuzzing.pdf},
  doi = {10.1109/SIOT48044.2019.9637090}
}
```
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. doi:10.1007/978-3-030-03421-4_5
```
@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},
  doi = {10.1007/978-3-030-03421-4_5},
  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. doi:10.1007/978-3-319-68063-7_4
```
@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},
  doi = {10.1007/978-3-319-68063-7_4},
  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). New York, NY, USA: ACM. doi:10.1145/3134600.3134623
```
@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},
  address = {New York, NY, USA},
  doi = {10.1145/3134600.3134623},
  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. doi:10.1007/978-3-319-45931-8_4

@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},
  url = {https://www.beetzsee.de/posts/papers/2016-wistp-smartmeter.pdf},
  supplement = {https://www.beetzsee.de/posts/papers/2016-wistp-smartmeter/},
  doi = {10.1007/978-3-319-45931-8_4}
}

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. doi:10.1109/SecDev.2016.030
```
@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},
  url = {https://www.beetzsee.de/posts/papers/2016-secdev-security-guarantees.pdf},
  doi = {10.1109/SecDev.2016.030}
}
```
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. doi:10.1145/2976749.2989041
```
@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},
  url = {https://www.beetzsee.de/posts/papers/2016-ccs-data-malware.pdf},
  doi = {10.1145/2976749.2989041}
}
```
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. doi:10.1145/2892664.2892693
```
@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},
  url = {https://www.beetzsee.de/posts/papers/2016-mass-availability.pdf},
  doi = {10.1145/2892664.2892693}
}
```
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. Retrieved from https://www.beetzsee.de/posts/papers/2016-hotspot-safe-enclaves.pdf
```
@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},
  url = {https://www.beetzsee.de/posts/papers/2016-hotspot-safe-enclaves.pdf}
}
```

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. doi:10.1007/978-3-319-22969-0_3

@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},
  url = {https://www.beetzsee.de/posts/papers/2015-sefm-learning-assertions.pdf},
  doi = {10.1007/978-3-319-22969-0_3}
}

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. doi:10.1007/978-3-319-24174-6_26

@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},
  url = {https://www.beetzsee.de/posts/papers/2015-esorics-trust-assessment.pdf},
  supplement = {https://www.beetzsee.de/posts/papers/2015-esorics-trust-assessment/},
  doi = {10.1007/978-3-319-24174-6_26}
}

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. doi:10.1007/978-3-319-24018-3_5

@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},
  url = {https://www.beetzsee.de/posts/papers/2015-wistp-resource-sharing.pdf},
  supplement = {https://www.beetzsee.de/posts/papers/2015-wistp-resource-sharing/},
  doi = {10.1007/978-3-319-24018-3_5}
}

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. doi:10.1007/978-3-642-30436-1_11
```
@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},
  doi = {10.1007/978-3-642-30436-1_11}
}
```
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. doi:10.1007/978-3-642-28891-3_21
```
@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},
  doi = {10.1007/978-3-642-28891-3_21}
}
```

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. doi:10.1007/978-3-642-24755-2_12

@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},
  doi = {10.1007/978-3-642-24755-2_12}
}

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., & Lüttgen, G. (2010). Symbolic Object Code Analysis. In SPIN ’10, LNCS (Vol. 6349, pp. 4–21). Heidelberg: Springer. doi:10.1007/978-3-642-16164-3_2
```
@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},
  doi = {10.1007/978-3-642-16164-3_2}
}
```
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. doi:10.1007/978-3-540-93900-9_10
```
@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},
  doi = {10.1007/978-3-540-93900-9_10}
}
```
Mühlberg, J. T., & Lüttgen, G. (2009). Verifying Compiled File System Code. In SBMF ’09, LNCS (Vol. 5902, pp. 306–320). Heidelberg: Springer. doi:10.1007/978-3-642-10452-7_21
```
@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},
  doi = {10.1007/978-3-642-10452-7_21}
}
```
Mühlberg, J. T., & Lüttgen, G. (2007). BLASTing Linux code. In FMICS ’06, LNCS (Vol. 4346, pp. 211–226). Heidelberg: Springer. doi:10.1007/978-3-540-70952-7_14
```
@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},
  doi = {10.1007/978-3-540-70952-7_14}
}
```
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

Scopelliti, G., Pouyanrad, S., Noorman, J., Alder, F., Baumann, C., Piessens, F., & Mühlberg, J. T. (2023). “End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs.” ACM Transactions on Privacy and Security, 3592607. doi:10.1145/3592607

@article{scopelliti2023endtoend,
  title = {End-to-{End} {Security} for {Distributed} {Event}-{Driven} {Enclave} {Applications} on {Heterogeneous} {TEEs}},
  issn = {2471-2566, 2471-2574},
  url = {https://www.beetzsee.de/posts/papers/2023-tops-end-to-end.pdf},
  doi = {10.1145/3592607},
  language = {en},
  urldate = {2023-04-16},
  journal = {ACM Transactions on Privacy and Security},
  author = {Scopelliti, Gianluca and Pouyanrad, Sepideh and Noorman, Job and Alder, Fritz and Baumann, Christoph and Piessens, Frank and M{\"u}hlberg, Jan Tobias},
  month = apr,
  year = {2023},
  pages = {3592607}
}

Crepax, T., & Mühlberg, J. T. (2022). “Upgrading the protection of children from manipulative and addictive strategies in online games: Legal and technical solutions beyond privacy regulation.” The International Review of Information Ethics, special issue on Ethics in the Age of Smart Systems, 31(1), 1–25. doi:10.29173/irie480

@article{crepax_2022_games,
  title = {Upgrading the protection of children from manipulative and
      addictive strategies in online games: Legal and technical solutions
      beyond privacy regulation},
  author = {Crepax, Tommaso and M{\"u}hlberg, Jan Tobias},
  journal = {The International Review of Information Ethics, special
      issue on Ethics in the Age of Smart Systems},
  year = {2022},
  volume = {31},
  issue = {1},
  pages = {1-25},
  publisher = {International Center for Information Ethics,
      University of Alberta},
  address = {Edmonton, Alberta, Canada},
  url = {https://www.beetzsee.de/posts/papers/2022-irie-online-games.pdf},
  doi = {10.29173/irie480}
}

Yoshizawa, T., Singelée, D., Mühlberg, J. T., Delbruel, S., Taherkordi, A., Hughes, D., & Preneel, B. (2022). “A Survey of Security and Privacy Issues in V2X Communication Systems.” ACM Computing Surveys, 3558052. doi:10.1145/3558052

@article{yoshizawa2022v2x_survey,
  title = {A {Survey} of {Security} and {Privacy} {Issues} in {V2X} {Communication} {Systems}},
  issn = {0360-0300, 1557-7341},
  url = {https://www.beetzsee.de/posts/papers/2022-csur-v2x-survey.pdf},
  doi = {10.1145/3558052},
  language = {en},
  urldate = {2022-08-20},
  journal = {ACM Computing Surveys},
  author = {Yoshizawa, Takahito and Singel{\'e}e, Dave and M{\"u}hlberg, Jan Tobias and Delbruel, St{\'e}phane and Taherkordi, Amir and Hughes, Danny and Preneel, Bart},
  month = aug,
  year = {2022},
  pages = {3558052}
}

Busi, M., Noorman, J., Van Bulck, J., Galletta, L., Degano, P., Mühlberg, J. T., & Piessens, F. (2021). “Securing Interruptible Enclaved Execution on Small Microprocessors.” Transactions on Programming Languages and Systems (TOPLAS). doi:10.1145/3470534

@article{busi_2021securing,
  title = {Securing 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},
  journal = {Transactions on Programming Languages and Systems (TOPLAS)},
  year = {2021},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/3470534},
  url = {https://www.beetzsee.de/posts/papers/2021-toplas-nemdef.pdf}
}

Vanderhallen, S., Bulck, J. V., Piessens, F., & Mühlberg, J. T. (2021). “Robust Authentication for Automotive Control Networks through Covert Channels.” Intern. J. of Computer and Telecommunications Networking (COMNET), 193, 1–15. doi:10.1016/j.comnet.2021.108079

@article{vanderhallen_2021_robust_auth,
  title = {Robust Authentication for Automotive Control Networks through Covert
  Channels},
  author = {Vanderhallen, Stien and Bulck, Jo Van and Piessens, Frank and M{\"u}hlberg, Jan Tobias},
  journal = {Intern. J. of Computer and Telecommunications Networking
  (COMNET)},
  year = {2021},
  volume = {193},
  pages = {1--15},
  publisher = {Elsevier},
  address = {Amsterdam},
  url = {https://www.beetzsee.de/posts/papers/2021-comnet-robust-auth.pdf},
  doi = {10.1016/j.comnet.2021.108079}
}

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. doi:10.1145/3079763

@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},
  doi = {10.1145/3079763}
}

Mühlberg, J. T., & Lüttgen, G. (2014). “Symbolic Object Code Analysis.” Intern. J. on Software Tools for Technology Transfer (STTT), 16, 81–102. doi:10.1007/s10009-012-0256-8

@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},
  doi = {10.1007/s10009-012-0256-8}
}

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. doi:10.1016/j.scico.2013.01.006

@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},
  doi = {10.1016/j.scico.2013.01.006},
  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. doi:10.1007/s00165-011-0198-z

@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},
  doi = {10.1007/s00165-011-0198-z},
  url = {https://www.beetzsee.de/posts/papers/2010-facj-vfs.pdf}
}

Invited Articles, Drafts, Reports, Editorial Work, Other Contributions

Turhan, G., Nyman, T., Bauman, C., & Mühlberg, J. T. (2022). “Unlimited Lives: Secure In-Process Rollback with Isolated Domains.” arXiv:2205.03205 [cs]. doi:10.48550/arXiv.2205.03205

@article{gulmez2022unlimited,
  title = {Unlimited {Lives}: {Secure} {In}-{Process} {Rollback} with {Isolated} {Domains}},
  shorttitle = {Unlimited {Lives}},
  url = {http://arxiv.org/abs/2205.03205},
  doi = {10.48550/arXiv.2205.03205},
  urldate = {2022-05-09},
  journal = {arXiv:2205.03205 [cs]},
  author = {Turhan, G{\"u}lmez and Nyman, Thomas and Bauman, Christoph and M{\"u}hlberg, Jan Tobias},
  month = may,
  year = {2022},
  note = {arXiv: 2205.03205},
  keywords = {Computer Science - Cryptography and Security}
}

Scopelliti, G., Pouyanrad, S., Noorman, J., Alder, F., Baumann, C., Piessens, F., & Mühlberg, J. T. (2022). “End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs.” arXiv:2206.01041 [cs]. doi:10.48550/arXiv.2206.01041

@article{scopelliti2022endtoend,
  title = {End-to-{End} {Security} for {Distributed} {Event}-{Driven} {Enclave} {Applications} on {Heterogeneous} {TEEs}},
  url = {http://arxiv.org/abs/2206.01041},
  doi = {10.48550/arXiv.2206.01041},
  urldate = {2022-06-03},
  journal = {arXiv:2206.01041 [cs]},
  author = {Scopelliti, Gianluca and Pouyanrad, Sepideh and Noorman, Job and Alder, Fritz and Baumann, Christoph and Piessens, Frank and M{\"u}hlberg, Jan Tobias},
  month = jun,
  year = {2022},
  note = {arXiv: 2206.01041},
  keywords = {Computer Science - Cryptography and Security}
}

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}
}
```

Bohn, F., Anderson, T., Barca, S., Blakeley, G., Bright, S., Chertkovskaya, E., D’Alisa, G., et al. (2019, December). “A Blueprint for Europe’s Just Transition: The Green New Deal for Europe.” (D. Adler, D. Wargan, & S. Prakash, Eds.). 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 {B}lueprint for {E}urope's {J}ust {T}ransition:
               {T}he {G}reen {N}ew {D}eal for {E}urope},
  edition = {2},
  editor = {Adler, David and Wargan, David and Prakash, Sona},
  author = {Bohn, Friedrich and Anderson, Teresa and Barca, Stefania and Blakeley, Grace and Bright, Sam and Chertkovskaya, Ekaterina and D'Alisa, Giacomo and Dentico, Nicoletta and Zanetti-Domingues, Laura C. and Ehnts, Dirk and Fani, Skender and Fiorillo, Michele and Fish, Julia and Ghani, Meera and Hanson, Charlotte and Henfrey, Tom and Hickel, Jason and Jacobs, Nick and James, Selma and Kallis, Giorgos and Khan, Tessa and Lawrence, Mat and Laybourn-Langton, Laurie and Leonardi, Emanuele and London, Ruth and L{\'o}pez, Nina and Mastini, Riccardo and McGaughey, Ewan and McKibben, Bill and Montagne, Brice and M{\"u}hlberg, Jan Tobias and Brave NoiseCat, Julian and Pettifor, Ann and Powell, David and Robinson, Mark and Rodrigues, J{\'e}r{\'e}my and Sch{\"a}fer, Jakob and Schelfhout, Leen and Schneider, Christoph and Sissa, Giovanna and Stanley, Isaac and Stronge, Will and Svensson, Oscar and Sweeney, Sean and Vogl, Valentin},
  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/}
}

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., 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: 2022-11-14 14:33:30 +0100