Publikationen pro Jahr
Publikationen pro Jahr
- 1 – 50 von 78 Ergebnissen
Suchergebnisse
-
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. (Hrsg.). Cham: Springer, S. 26-46 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13991 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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 Mai 2023, Proceedings of 2023 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2023 - Workshops. Association of Computing Machinery, S. 78-83 6 S. (ACM International Conference Proceeding Series).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access -
Formal Verification of Arithmetic Masking in Hardware and Software
Gigerl, B., Primas, R. & Mangard, S., 29 Mai 2023, Applied Cryptography and Network Security : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023, Proceedings, Part I. Tibouchi, M. & Wang, X. (Hrsg.). Cham: Springer, S. 3-32 30 S. (Lecture Notes in Computer Science; Band 13905).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Datei -
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., Mai 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (Hrsg.). Springer Nature Switzerland AG, S. 141-160 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13872 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Secure Context Switching of Masked Software Implementations
Gigerl, B., Primas, R. & Mangard, S., 10 Juli 2023, ASIA CCS 2023 - Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security. Association of Computing Machinery, S. 980-992 13 S. (Proceedings of the ACM Conference on Computer and Communications Security).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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. Band 371. S. 1-19 19 S. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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, S. 1156-1165 10 S. (Proceedings of the ACM Symposium on Applied Computing).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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, Band 13550. (Lecture Notes in Computer Science; Band 13550).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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., Mai 2022, Proceedings of the 5th International Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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). S. 2532-2545Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Protection and Relocation Extension for RISC-V
Malenko, M., Batista Ribeiro, L. & Baunach, M. C., 19 Juni 2022, Sixth Workshop on Computer Architecture Research with RISC-V : CARRV 2022. 6 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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, S. 315-324 (Conference Series: Formal Methods in Computer-Aided Design; Band 3).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access -
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning
Pferscher, A. & Aichernig, B., 20 Mai 2022, NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (Hrsg.). Cham: Springer, S. 373-392 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13260 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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 Mai 2022, Proceedings of the 21st International Conference on Information Processing in Sensor Networks (IPSN). S. 92-104 13 S. (Proceedings - 21st ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2022).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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. (Hrsg.). S. 560-563 4 S. (Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. S. 25-30 6 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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. (Hrsg.). Cham: Springer, S. 67-73 7 S. (Lecture Notes in Computer Science; Band 12971 ).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
A Study on the Portability of IoT Operating Systems
Martins Gomes, R. & Baunach, M. C., 11 März 2021, 2021 - Fruehjahrstreffen FG BS.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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, S. 1469-1486 18 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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. (Hrsg.). Cham: Springer, S. 524-542 19 S. (Lecture Notes in Computer Science ; Band 13047 ).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. (Hrsg.). Cham: Springer Nature Switzerland AG, S. 157-170 14 S. (Lecture Notes in Computer Science; Band 12638).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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, S. 431-435 5 S. (IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC; Band 2021-September).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
papagenoReQ: Generation of Embedded Systems from Application Code Requirements
Scheipel, T. P. & Baunach, M. C., 12 Juni 2021, 2021 International Conference on Electrical, Communication and Computer Engineering (ICECCE) . IEEE XplorePublikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Secure and Efficient Software Masking on Superscalar Pipelined Processors
Gigerl, B., Primas, R. & Mangard, S., 2021, Advances in Cryptology - ASIACRYPT 2021. S. 3-32 30 S. (Lecture Notes in Computer Science; Band 13091).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Work-in-Progress: Improving Security and Maintainability in Modular Embedded Systems with Hardware Support
Malenko, M., Batista Ribeiro, L. & Baunach, M. C., Juli 2021, CODES/ISSS '21: Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis . S. 35-36Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. (Hrsg.). Springer International, S. 155-174 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12310 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. S. 176-177 2 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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. Band 53 (2). S. 5952-5957Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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. (Hrsg.). Springer, Band 12229. S. 1-19 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12229 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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, S. 144-155 12 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access -
Learning Abstracted Non-deterministic Finite State Machines
Pferscher, A. & Aichernig, B., Dez. 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. (Hrsg.). Springer, Band 12543. S. 52-69 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12543 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. S. 5915-5921Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Placement of Runtime Checks to Counteract Fault Injections
Maderbacher, B., Karl, A. F. & Bloem, R., Okt. 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings: 20th International Conference, RV 2020. Deshmukh, J. & Nickovic, D. (Hrsg.). Springer Nature Switzerland AG, S. 241-258 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12399 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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. S. 162-163 2 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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. S. 164-165 2 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access -
Step-Wise Development of Provably Correct Actor Systems
Aichernig, B. & Maderbacher, B., Okt. 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. (Hrsg.). Springer Nature Switzerland AG, S. 426-448 23 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12476 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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 Okt. 2020, 28th IEEE International Conference on Network Protocols (ICNP). 12 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access -
Towards Secure and Scalable UWB-based Positioning Systems
Stocker, M., Großwindhager, B., Boano, C. A. & Römer, K. U., 10 Dez. 2020, 2020 IEEE 17th International Conference on Mobile Ad Hoc and Sensor Systems (MASS). Institute of Electrical and Electronics Engineers, S. 247-255 9 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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. (Hrsg.). Springer, Band 11885. S. 22-38 ( Lecture Notes in Computer Science; Band 11885).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. S. 7006-7012Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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). S. 3096-3102Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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., Band 52 (5). S. 34-39 6 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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. (Hrsg.). Cham: Springer, S. 651 - 669 19 S. (Lecture Notes in Computer Science; Band 11800).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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. (Hrsg.). Cham: Springer International Publishing AG , S. 3-21 19 S. (Lecture Notes in Computer Science; Band 11812).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Practical Enclave Malware with Intel SGX
Schwarz, M., Weiser, S. & Gruß, D., Juni 2019, Detection of Intrusions and Malware, and Vulnerability Assessment: 16th International Conference, DIMVA 2019, 2019. Cham: Springer International, S. 177-196 (Lecture Notes in Computer Science; Band 11543).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Datei -
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, S. 93-111 (Lecture Notes in Computer Science; Band 11823).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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, S. 353-366Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access