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 http://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 http://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 http://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 = {http://www.beetzsee.de/posts/papers/2020-prisc-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 = {http://www.beetzsee.de/posts/papers/2020-prisc-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 http://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 = {http://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 http://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 = {http://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 http://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 = {http://www.beetzsee.de/posts/papers/2019-siot-fuzzing.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 = {http://www.beetzsee.de/posts/papers/2018-dsn-tutorial.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 = {http://www.beetzsee.de/posts/papers/2017-stm-authentic.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 = {http://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}
}
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.}
}
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., & 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}
}
@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 = {http://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 http://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 = {http://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 http://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 = {http://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 http://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 = {http://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 http://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 = {http://www.beetzsee.de/posts/papers/2010-facj-vfs.pdf}
}
Invited Articles, Reports, Editorial Work, Other Contributions
@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 http://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ías Blog},
url = {http://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íos en el Software Embedded},
year = {2016},
publisher = {Technonews},
journal = {Nuevas Tecnologías Blog},
url = {https://www.tecnonews.info/opiniones/nuevos_desafios_en_el_software_embedded}
}
@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., & 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
}
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}
}
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.}
}