Scientific Publications and Articles

2018

  • B. Aichernig, R. Bloem, M. Ebrahimi, M. Tappler, J. Winter: Automata Learning for Symbolic Execution. In proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. IEEE CS, p. 130 – 138.
  • B. Aichernig, W. Mostowski, M.R. Mousavi, M. Tappler, M. Taromirad: Model Learning and Model-Based Testing, 2018. Book chapter: Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers. Springer Nature, p. 74 – 100.
  • M.S. Bakr, I. C. Hunter, W. Bösch: Miniature Triple-Mode Dielectric Resonator Filters. In: IEEE Transactions on Microwave Theory and Techniques, 22 October 2018.
  • B. Großwindhager, M. Rath, J. Kulmer, M. Bakr, C.A. Boano, K. Witrisal, and K. Römer. SALMA: UWB-based Single-Anchor Localization System using Multipath Assistance. (To appear) In Proceedings of the 16th ACM International Conference on Embedded Networked Sensor Systems (SenSys). Shenzhen, China. November 2018.           
  • B. Großwindhager, M. Rath, M. S. Bakr, P.Greiner, C. A. Boano, K. Witrisal, F. Gentili, J.Grosinger, W. Bösch, and K. Römer: Dependable Wireless Communication and Localization in the Internet of Things. In: The Philosophy of Mission-Oriented Sensor Networks and Systems - Volume 2: Advances. H. M. Ammari, D. Frank Hsu, D. Lyons, D. S. L. Wei, G. M. Weiss (Eds.), ISBN 978-3-319-92384-0, Springer, October 2018.
  • B. K. Aichernig and R. Schumi: “How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols”. In Quantitative Evaluation of Systems – 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, Lecture Notes in Computer Science. Springer, 2018. (doi:10.1007/978-3-319-99154-2_3). Link to PURE.
  • B. Großwindhager, C. A. Boano, M. Rath, and K. Römer: Concurrent Ranging with Ultra-Wideband Radios: From Experimental Evidence to a Practical Solution. In: Proceedings of the 38th IEEE International Conference on Distributed Computing Systems (ICDCS), July 2018.
  • B. Großwindhager, C. A. Boano, M. Rath, and K. Römer: Runtime Adaptation of PHY Settings for Dependable UWB Communications: Poster Abstract. In: Proceedings of the 17th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), April 2018.
  • M. S. Bakr,  I. C. Hunter and W. Bosch. Miniature Triple-Mode Dielectric Resonator Filters. In the proceedings of International Microwave Symposium 2018 (IMS). Philadelphia, USA, 2018.
  • S. Bakr,  I. C. Hunter and W. Bosch. Broadband Dual-Mode Dielectric Resonator Filters. In the proceedings of the 15th International Wireless Symposium (IWS) 2018. Chengdu, China, 2018.
  • A. I. Hammoodi,  M. S. Bakr, M. Milanova and H. K. Raad. Isolation Enhancement Between Two Closely Spaced Rectangular Patches for MIMO. In proceedings of the 12th European Conference on Antennas and Propagation (EuCAP). London, UK, 2018.
  • A. B. A. Alterkawi, M. S. Bakr, R. Teschl, W. Bösch and M. Bozzi. A compact half-mode substrate integrated waveguide filter based on a circular resonator. In Proceedings of the 11th German Microwave Conference (GeMiC) pp. 131-133. Freiburg, Germany, 2018.
  • B. Großwindhager, C.A. Boano, M. Rath, and K. Römer. Enabling Runtime Adaptation of Physical Layer Settings for Dependable UWB Communications. In Proceedings of the 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM). Chania, Greece. June 2018.
  • C.A. Boano, S. Duquennoy, A. Förster, O. Gnawali, R. Jacob, H.S. Kim, O. Landsiedel, R. Marfievici, L. Mottola, G.P. Picco, X. Vilajosana, T. Watteyne, and M. Zimmerling. Towards a Benchmark for Low-power Wireless Networking. In Proceedings of the 1st International Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench). Porto, Portugal. April 2018.
  • M. Schuß, C.A. Boano, and K. Römer. Moving Beyond Competitions: Extending D-Cube to Seamlessly Benchmark Low-Power Wireless Systems. In Proceedings of the 1st International Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench). Porto, Portugal. April 2018.
  • S. Weiser, R. Spreitzer, L. Bodner: Single Trace Attack against RSA Key Generation in Intel SGX SSL. To appear in the 13th ACM ASIA Conference on Information, Computer and Communications Security (ASIACCS 18), Incheon, Republic of Korea, 2018. Link to PURE.
  • M. Schwarz, M. Lipp, D. Gruß, S. Weiser, C. L. N. Maurice, R. Spreitzer, S. Mangard: "KeyDrown: Eliminating Software-Based Keystroke Timing Side-Channel Attacks" in Network and Distributed System Security Symposium 2018. San Diego, United States. February 2018. Link to PURE.

2017

  • A. B. A. Alterkawi, M. S. Bakr, R. Teschl, W. Bösch and M. Bozzi. A compact half-mode substrate integrated waveguide filter based on a circular resonator. In the proceedings of 11th German Microwave Conference (GeMiC) pp. 131-133. Freiburg, Germany, 2018.
  • M. S. Bakr,  I. C. Hunter and W. Bosch. Miniature Triple-Mode Dielectric Resonator Filters. In the proceedings of International Microwave Symposium 2018 (IMS). Philadelphia, USA, 2018.
  • M. S. Bakr,  I. C. Hunter and W. Bosch. Broadband Dual-Mode Dielectric Resonator Filters. In the proceedings of the 15th International Wireless Symposium (IWS) 2018. Chengdu, China, 2018
  • A. I. Hammoodi,  M. S. Bakr, M. Milanova and H. K. Raad. Isolation Enhancement Between Two Closely Spaced Rectangular Patches for MIMO. In proceedings of the 12th European Conference on Antennas and Propagation (EuCAP). London, UK, 2018.
  • B. Großwindhager, A. Rupp, M. Tappler, M. Tranninger, S. Weiser, B. K. Aichernig, C. A. Boano, M. Horn, G. Kubin, S. Mangard, M. Steinberger, K. Romer: Dependable Internet of Things for Networked Cars in International Journal of Computing, 2017, Volume 16, Issue 4. Link to PURE.
  • B. Großwindhager, M. Rath, J. Kulmer, S. Hinteregger, M. Bakr, C.A. Boano, K. Witrisal, and K. Römer. UWB-based Single-anchor Low-cost Indoor Localization System. In Proceedings of the 15th ACM International Conference on Embedded Networked Sensor Systems (SenSys), demo session. Delft, The Netherlands. November 2017. Link to PURE.
  • M. S. Bakr, A. Alterkawi, F. Genti, W. Bosch: Reconfigurable UWB patch antenna: Cognitive Radio in IMSW, Sep., 2017. Link to PURE.
  • M.S. Bakr, L. Saad, Ian C. Hunter, W. Bosch: Dual-Mode Dual-band Filter Conductor-Loaded Dielectric Resonator Filters, in EuMc, October, 2017. Link to PURE. 
  • 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. Link to PURE.
  • 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. Link to PURE.
  • 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. Link to PURE.
  • Rath, M.; Kulmer, J.; Bakr, M.S.; Großwindhager, B.; Witrisal, K.: Multipath-assisted Indoor Positioning Enabled by Directional UWB Sector Antennas -in: The 18th IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC 2017), Sapporo, Japan; 3-6 July, 2017. Link to PURE.
  • 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. Link to PURE.
  • 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. Link to PURE.
  • 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.

2016

  • 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.

2015

  • 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.