Dependable Internet of Things

Boano, Carlo Alberto (Co-Investigator (CoI))
Kubin, Gernot (Co-Investigator (CoI))
Bloem, Roderick (Co-Investigator (CoI))
Horn, Martin (Co-Investigator (CoI))
Pernkopf, Franz (Co-Investigator (CoI))
Zakany, Nora (Co-Investigator (CoI))
Mangard, Stefan (Co-Investigator (CoI))
Witrisal, Klaus (Co-Investigator (CoI))
Römer, Kay Uwe (Co-Investigator (CoI))
Aichernig, Bernhard (Co-Investigator (CoI))
Bösch, Wolfgang (Co-Investigator (CoI))
Baunach, Marcel Carsten (Co-Investigator (CoI))
Tappler, Martin (Co-Investigator (CoI))
Malenko, Maja (Co-Investigator (CoI))
Weiser, Samuel (Co-Investigator (CoI))
Eichlseder, Maria (Co-Investigator (CoI))
Leitinger, Erik (Co-Investigator (CoI))
Grosinger, Jasmin (Co-Investigator (CoI))
Großwindhager, Bernhard (Co-Investigator (CoI))
Ebrahimi, Masoud (Co-Investigator (CoI))
Alothman Alterkawi, Ahmad Bader (Co-Investigator (CoI))
Knoll, Christian (Co-Investigator (CoI))
Teschl, Reinhard (Co-Investigator (CoI))
Saukh, Olga (Co-Investigator (CoI))
Rath, Michael (Co-Investigator (CoI))
Steinberger, Martin (Co-Investigator (CoI))
Steinbauer-Wagner, Gerald (Co-Investigator (CoI))
Tranninger, Markus (Co-Investigator (CoI))

Project: Research project

78 Conference paper
22 Article
5 Paper
4 Chapter
More

1 - 50 out of 78 results

Filter

2023
A Modeling Concept for Formal Verification of OS-Based Compositional Software
Batista Ribeiro, L., Lorber, F., Nyman, U., Guldstrand Larsen, K. & Baunach, M. C., Apr 2023, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings: International Conference on Fundamental Approaches to Software Engineering. Lambers, L., Uchitel, S. & Uchitel, S. (eds.). Cham: Springer, p. 26-46 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13991 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
Applying NLOS Classification and Error Correction Techniques to UWB Systems: Lessons Learned and Recommendations
Stocker, M., Gallacher, M., Boano, C. A. & Röemer, K., 9 May 2023, Proceedings of 2023 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2023 - Workshops. Association of Computing Machinery, p. 78-83 6 p. (ACM International Conference Proceeding Series).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
Formal Verification of Arithmetic Masking in Hardware and Software
Gigerl, B., Primas, R. & Mangard, S., 29 May 2023, Applied Cryptography and Network Security : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023, Proceedings, Part I. Tibouchi, M. & Wang, X. (eds.). Cham: Springer, p. 3-32 30 p. (Lecture Notes in Computer Science; vol. 13905).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

File
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., May 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer Nature Switzerland AG, p. 141-160 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13872 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Secure Context Switching of Masked Software Implementations
Gigerl, B., Primas, R. & Mangard, S., 10 Jul 2023, ASIA CCS 2023 - Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security. Association of Computing Machinery, p. 980-992 13 p. (Proceedings of the ACM Conference on Computer and Communications Security).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
2022
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols
Aichernig, B., Muškardin, E. & Pferscher, A., 27 Sept 2022, Formal Methods for Autonomous Systems and Automated and verifiable Software sYstem DEvelopment. Vol. 371. p. 1-19 19 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
A framework for OS portability: from formal models to low-level code
Martins Gomes, R. & Baunach, M. C., 25 Apr 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. Association of Computing Machinery, p. 1156-1165 10 p. (Proceedings of the ACM Symposium on Applied Computing).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Constrained Training of Recurrent Neural Networks for Automata Learning
Aichernig, B., König, S., Mateis, C., Pferscher, A., Schmidt, D. & Tappler, M., 2022, Software Engineering and Formal Methods. Springer, Cham, Vol. 13550. (Lecture Notes in Computer Science; vol. 13550).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
First Steps in Benchmarking the Performance of Heterogeneous Ultra-Wideband Platforms.
Schuh, M. P., Brunner, H., Stocker, M., Schuß, M., Boano, C. A. & Römer, K. U., May 2022, Proceedings of the 5th International Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
Geodetic Network Optimization Algorithm for Anchor Selection in Harsh Environments
Koller, A., Schuh, M., Boano, C. A., Römer, K. U. & Witrisal, K., 19 Sept 2022, Proceedings of the 35th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+ 2022). p. 2532-2545
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Protection and Relocation Extension for RISC-V
Malenko, M., Batista Ribeiro, L. & Baunach, M. C., 19 Jun 2022, Sixth Workshop on Computer Architecture Research with RISC-V : CARRV 2022. 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
Reactive Synthesis Modulo Theories using Abstraction Refinement
Maderbacher, B. & Bloem, R., 2022, Proceedings of the 22nd Formal Methods in Computer-Aided Design, FMCAD 2022. TU Wien Academic Press, p. 315-324 (Conference Series: Formal Methods in Computer-Aided Design; vol. 3).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning
Pferscher, A. & Aichernig, B., 20 May 2022, NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Cham: Springer, p. 373-392 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13260 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Understanding and Mitigating the Impact of Wi-Fi 6E Interference on Ultra-Wideband Communications and Ranging
Brunner, H., Stocker, M., Schuh, M. P., Schuß, M., Boano, C. A. & Römer, K. U., 4 May 2022, Proceedings of the 21st International Conference on Information Processing in Sensor Networks (IPSN). p. 92-104 13 p. (Proceedings - 21st ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2022).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
XTENSTORE: Fast Shielded In-memory Key-Value Store on a Hybrid x86-FPGA System
Oh, H., Hwang, D., Malenko, M., Cho, M., Moon, H., Baunach, M. C. & Paek, Y., 2022, Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022. Bolchini, C., Verbauwhede, I. & Vatajelu, I. (eds.). p. 560-563 4 p. (Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
2021

6TiSCH++ with Bluetooth 5 and Concurrent Transmissions
Baddeley, M., Aijaz, A., Raza, U., Stanoev, A., Jin, Y., Schuß, M., Boano, C. A. & Oikonomou, G., 17 Feb 2021, EWSN '21: Proceedings of the 2021 International Conference on Embedded Wireless Systems and Networks. p. 25-30 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
AALpy: An Active Automata Learning Library
Muskardin, E., Aichernig, B., Pill, I., Pferscher, A. & Tappler, M., 2021, Automated Technology for Verification and Analysis - ATVA 2021. Hou, Z. & Ganesh, V. (eds.). Cham: Springer, p. 67-73 7 p. (Lecture Notes in Computer Science; vol. 12971 ).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
A Study on the Portability of IoT Operating Systems
Martins Gomes, R. & Baunach, M. C., 11 Mar 2021, 2021 - Fruehjahrstreffen FG BS.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs
Gigerl, B., Hadzic, V., Primas, R., Mangard, S. & Bloem, R., 2021, Proceedings of the 30th USENIX Security Symposium. USENIX Association, p. 1469-1486 18 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning
Pferscher, A. & Aichernig, B., 2021, Formal Methods - 24th International Symposium, FM 2021, Proceedings. Huisman, M., Păsăreanu, C. & Zhan, N. (eds.). Cham: Springer, p. 524-542 19 p. (Lecture Notes in Computer Science ; vol. 13047 ).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Learning Mealy Machines with One Timer
Vaandrager, F., Bloem, R. & Ebrahimi, M., 2021, Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Cham: Springer Nature Switzerland AG, p. 157-170 14 p. (Lecture Notes in Computer Science; vol. 12638).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Map-based Antenna Adaptation for Multipath-assisted Positioning
Rath, M., Koller, A. & Witrisal, K., 2021, 2021 IEEE 22nd International Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2021. Institute of Electrical and Electronics Engineers, p. 431-435 5 p. (IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC; vol. 2021-September).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
papagenoReQ: Generation of Embedded Systems from Application Code Requirements
Scheipel, T. P. & Baunach, M. C., 12 Jun 2021, 2021 International Conference on Electrical, Communication and Computer Engineering (ICECCE) . IEEE Xplore
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Secure and Efficient Software Masking on Superscalar Pipelined Processors
Gigerl, B., Primas, R. & Mangard, S., 2021, Advances in Cryptology - ASIACRYPT 2021. p. 3-32 30 p. (Lecture Notes in Computer Science; vol. 13091).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Work-in-Progress: Improving Security and Maintainability in Modular Embedded Systems with Hardware Support
Malenko, M., Batista Ribeiro, L. & Baunach, M. C., Jul 2021, CODES/ISSS '21: Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis . p. 35-36
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
2020
A Formal Modeling Approach for Portable Low-Level OS Functionality
Martins Gomes, R., Aichernig, B. & Baunach, M. C., 2020, Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (eds.). Springer International, p. 155-174 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12310 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Demo: Analyzing Bluetooth Low Energy Connections on Off-the-Shelf Devices
Classen, J., Spörk, M., Boano, C. A., Römer, K. U. & Hollick, M., 2020, Proceedings of the 17 International Conference on Embedded Wireless Systems and Networks (EWSN).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Demo: Cross-Technology Broadcast Communication between Off-The-Shelf Wi-Fi, BLE, and IEEE 802.15.4 Devices
Brunner, H., Hofmann, R., Schuß, M., Link, J., Hollick, M., Boano, C. A. & Römer, K. U., 17 Feb 2020, Demo: Cross-Technology Broadcast Communication between Off-The-Shelf Wi-Fi, BLE, and IEEE 802.15.4 Devices. p. 176-177 2 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
Efficient Temperature Profile Estimation for Silicon Wafers based on Subspace Observers
Tranninger, M., Seeber, R., Steinberger, M. & Horn, M., 2020, IFAC-PapersOnLine: Proceedings of the 21st IFAC World Congress. Vol. 53 (2). p. 5952-5957
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
From Passive to Active: Learning Timed Automata Efficiently
Aichernig, B., Pferscher, A. & Tappler, M., 10 Aug 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, Vol. 12229. p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Improving the Reliability of Bluetooth Low Energy Connections
Spörk, M., Classen, J., Boano, C. A., Hollick, M. & Römer, K., Feb 2020, Proceedings of the 17th International Conference on Embedded Wireless Systems and Networks (EWSN). Junction Publishing, p. 144-155 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
Learning Abstracted Non-deterministic Finite State Machines
Pferscher, A. & Aichernig, B., Dec 2020, Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings. Casola, V., De Benedictis, A. & Rak, M. (eds.). Springer, Vol. 12543. p. 52-69 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12543 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Lyapunov-Based Observer Design for Steam Boilers
Hölzl, S. L., Seeber, R., Tranninger, M., Bauer, R. & Horn, M., 2020, IFAC-PapersOnLine: Proceedings of the 21st IFAC World Congress. p. 5915-5921
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Placement of Runtime Checks to Counteract Fault Injections
Maderbacher, B., Karl, A. F. & Bloem, R., Oct 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings: 20th International Conference, RV 2020. Deshmukh, J. & Nickovic, D. (eds.). Springer Nature Switzerland AG, p. 241-258 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12399 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Poster: Accurate Cross-Technology Clock Synchronization Among Off-The-Shelf Wireless Devices
Grubmair, D., Hofmann, R., Boano, C. A. & Römer, K. U., 17 Feb 2020, Poster: Accurate Cross-Technology Clock Synchronization Among Off-The-Shelf Wireless Devices. p. 162-163 2 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
Poster: Making D-Cube an Open Low-Power Wireless Networking Benchmark
Schuß, M., Boano, C. A. & Römer, K. U., 17 Feb 2020, Poster: Making D-Cube an Open Low-Power Wireless Networking Benchmark. p. 164-165 2 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
Step-Wise Development of Provably Correct Actor Systems
Aichernig, B. & Maderbacher, B., Oct 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Nature Switzerland AG, p. 426-448 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
The Impact of the Physical Layer on the Performance of Concurrent Transmissions
Baddeley, M., Boano, C. A., Escobar-Molero, A., Liu, Y., Ma, X., Raza, U., Römer, K. U., Schuß, M. & Stanoev, A., 13 Oct 2020, 28th IEEE International Conference on Network Protocols (ICNP). 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
Towards an Automated Monitoring of RF Activity in Low-Power Wireless Testbeds
Schuß, M., Boano, C. A., Römer, K. U., Link, J. & Hollick, M., 25 Sept 2020, 3rd International Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench). 7 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
Towards Secure and Scalable UWB-based Positioning Systems
Stocker, M., Großwindhager, B., Boano, C. A. & Römer, K. U., 10 Dec 2020, 2020 IEEE 17th International Conference on Mobile Ad Hoc and Sensor Systems (MASS). Institute of Electrical and Electronics Engineers, p. 247-255 9 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
2019

A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Aichernig, B., 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Springer, Vol. 11885. p. 22-38 ( Lecture Notes in Computer Science; vol. 11885).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Dependable Internet of Things
Römer, K. U., Witrisal, K., Baunach, M. C., Bloem, R. & Horn, M., 26 Feb 2019, Proceedings of the International Conference on Sensor Networks (SENSORNETS) 2019.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Discrete-time Model Reference Adaptive Sliding Mode Control for Systems in State-Space Representation
Steinberger, M., Horn, M. & Ferrara, A., 2019, Proceedins of the 58th IEEE Conference on Decision and Control. p. 7006-7012
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Exact State Reconstruction for LTI-Systems with Non-Differentiable Unknown Inputs
Tranninger, M., Seeber, R., Steinberger, M. & Horn, M., 2019, 18th European Control Conference (ECC). p. 3096-3102
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Fast and Low-Cost Testing of Advanced Driver Assistance Systems using Small-Scale Vehicles
Rupp, A., Tranninger, M., Zubača, J., Steinberger, M., Horn, M. & Wallner, R., 19 Sept 2019, IFAC-PapersOnLine: 9th IFAC International Symposium on Advances in Automotive Control. Elsevier Ltd., Vol. 52 (5). p. 34-39 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
L*-Based Learning of Markov Decision Processes
Tappler, M., Aichernig, B., Bacci, G., Eichlseder, M. & Larsen, K. G., 2019, Formal Methods - The Next 30 Years . ter Beek, M. H., McIver, A. & Oliveria, J. N. (eds.). Cham: Springer, p. 651 - 669 19 p. (Lecture Notes in Computer Science; vol. 11800).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
Aichernig, B. K., Bloem, R., Ebrahimi, M., Horn, M., Pernkopf, F., Roth, W., Rupp, A., Tappler, M. & Tranninger, M., 2019, Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (eds.). Cham: Springer International Publishing AG , p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 11812).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Practical Enclave Malware with Intel SGX
Schwarz, M., Weiser, S. & Gruß, D., Jun 2019, Detection of Intrusions and Malware, and Vulnerability Assessment: 16th International Conference, DIMVA 2019, 2019. Cham: Springer International, p. 177-196 (Lecture Notes in Computer Science; vol. 11543).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

File
Predicting and Testing Latencies with Deep Learning: An IoT Case Study
Aichernig, B., Pernkopf, F., Schumi, R. A. & Wurm, A., 2019, Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings. Springer, p. 93-111 (Lecture Notes in Computer Science; vol. 11823).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
SGXJail: Defeating Enclave Malware via Confinement
Weiser, S., Mayr, L., Schwarz, M. & Gruß, D., Sept 2019, RAID 2019 Proceedings: Proceedings of the 22nd International Symposium on Research in Attacks, Intrusions and Defenses. USENIX Association, p. 353-366
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

Dependable Internet of Things

Research output

Search results