Scientific Publications and Articles


  • B. K. Aichernig and M. Tappler: Probabilistic Black-Box Reachability Checking. In Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA; September 15, 2017. Link to PURE. 
  • M. Spörk, C.A. Boano, M. Zimmerling, and K. Römer: BLEach: Exploiting the Full Potential of IPv6 over BLE in Constrained Embedded IoT Devices. (To Appear) In Proceedings of the 15th ACM International Conference on Embedded Networked Sensor Systems (SenSys), Delft, The Netherlands; November 2017.
  • T. Sparber, C.A. Boano, S.S. Kanhere, and K. Römer: Mitigating Radio Interference in Large IoT Networks through Dynamic CCA Adjustment -in Proceedings of the 1st International Workshop on Very Large Internet of Things (VLIoT) in conjunction with the 43rd International Conference on Very Large Databases (VLDB), Munich, Germany; August 2017.
  • Schwarz, M.; Weiser, S.; Gruss, D.; Maurice, C.; Mangard, S.: Malware Guard Extension: Using SGX to Conceal Cache Attack -in 14th Conference on Detection of Intrusions and Malware & Vulnerability Assessment, Bonn, Germany; 6-7 July 2017.
  • B. K. Aichernig and M. Tappler: "Learning from Faults: Mutation Testing in Active Automata Learning". In 2017 NASA Formal Methods - 9th International Symposium. Springer International Publishing AG , p. 19-34 16 p. (Lecture Notes in Computer Science; vol. 10227), Moffett Field, Ca., USA; 16-18 May, 2017.  Link to PURE.
  • Weiser, S.; Werner, M.: SGXIO: Generic Trusted I/O Path for Intel SGX. –in: 7th ACM Conference on Data and Application Security and Privacy 2017 (CODASPY '17), Scottsdale, Arizona, USA; 22-24 March, 2017.
  • Boano, C.A; Schuß, M.; Römer, K.: EWSN Dependability Competition: Experiences and Lessons Learned. IEEE Internet of Things Newsletter. 14 Mar, 2017. Link to PURE.
  • Tappler, M.; Aichernig, B.K; Bloem, R.: Model-Based Testing IoT Communication via Active Automata Learning. –in: 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo, Japan, 13-18 March, 2017.
  • Maurice, C.; Weber, M.; Schwarz, M.; Giner, L.; Gruss, D.; Boano, C.A.; Römer, K.; Mangard, S.: Hello from the Other Side: SSH over Robust Cache Covert Channels in the Cloud. -in: The Network and Distributed System Security Symposium (NDSS 2017), San Diego, USA, 26 Feb- 3 March, 2017
  • Großwindhager, B.; Bakr, M.; Rath, M.; Gentili, F.; Bösch, W.; Witrisal, K.; Boano, C. A. and Römer, K. Switchable Directional Antenna System for UWB-based Internet of Things Applications. - in: International Conference on Embedded Wireless Systems and Networks (EWSN2017). Uppsala, Sweden, 20-22 Feb, 2017. Link to PURE.
  • Schuß, M.; Boano, C.A; Weber, M.; Römer, K.: A Competition to Push the Dependability of Low-Power Wireless Protocols to the Edge. -in:14th International Conference on Embedded Wireless Systems and Networks (EWSN 2017), Uppsala, Sweden; 20-22 Feb, 2017. Link to PURE.
  • Bloem, R.; Chockler, H.; Ebrahimi, M.; Strichman O.: Synthesizing Non-Vacuous Systems. -in: Bouajjani A., Monniaux D. (eds) Verification, Model Checking, and Abstract Interpretation (VMCAI 2017). Lecture Notes in Computer Science, vol 10145. Springer, Cham, Paris, France; 15-17 Jan, 2017.


  • Nguyen, A. H.; Rath, M.; Leitinger, E.; Hinteregger, S.; Nguyen, K. V.; Witrisal, K.: Channel Capacity Analysis of Indoor Environments for Location-aware Communications. -in: 59th annual IEEE Global Communications Conference (GLOBECOM 2016), Washington, DC, USA; 4-8 Dec, 2016. Link to PURE.
  • Boano, C.A; Römer, K.; Bloem, R.; Witrisal, K.; Baunach, M.; Horn M.: Dependability for the Internet of Things - from dependable networking in harsh environments to a holistic view on dependability. Springer e&i Elektrotechnik & Informationstechnik, DOI 10.1007/s00502-016-0436-4; Nov, 2016. Link to PURE.
  • Baunach, M. C.; Malenko, M.: Real-Time and Security Requirements for the Internet of Things Operating Systems.-in: ECHTZEIT 2016, Gesellschaft für Informatik (GI); 17 Nov, 2016. Link to PURE.
  • Bakr, M. S. A.; Gentili, F. & Bösch, W.: Triple Mode Dielectric-Loaded Cavity Band Pass Filter. -in: Mediterranean Microwave Symposium (MMS2016), Abu Dhabi, UAE; 20 Sep, 2016. Link to PURE.
  • Bakr, M. S. A.; Gentili, F. & Bösch, W.:A TE11 Dual-Mode Monoblock Dielectric Resonator Filter. -in: Asia Pacific Microwave Conference, India; 5 Sep, 2016. Link to PURE.
  • Wetzker, U.; Splitt, I.; Zimmerling, M.; Boano, C. A.; Römer, K.: Troubleshooting Wireless Coexistence Problems in the Industrial Internet of Things. In Proceedings of the 14th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC). Paris, France. August 2016. Link to PURE.

  • Aichernig, B.; Bloem, R.; Pernkopf, F.; Röck, F.; Schrank, T.*, Tappler, M.: Learning Models of a Network Protocol using Neural Network Language Models. -in: 37th IEEE Symposium on Security and Privacy (SP 2016), San Jose, CA, USA; 22-26 May, 2016. Link to PURE.


  • Oppermann, F. J.; Boano, C. A.; Zuniga, M. A.; Römer, K. U.: Automatic Protocol Configuration for Dependable Internet of Things Applications. - in: 10th IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SenseApp), Florida, USA; 26-29 Oct, 2015. Link to PURE.
  • Leitinger, E.; Meissner, P.; Lafer, M.; Witrisal, K.: Simultaneous Localization and Mapping using Multipath Channel Information. - in: IEEE ICC 2014 Workshop on Advances in Network Localization and Navigation (ANLN) (2015) In Press. IEEE International Conference on Communications ; 2015. Link to PURE.