| SFB/Transregio, Teilprojekt C5: "Security in Invasive Computing Systems" Unter dem Begriff Invasives Rechnen soll ein völlig neues Paradigma für den Entwurf
und die Programmierung zukünftiger paralleler Rechensysteme erforscht werden. Die
Grundidee besteht darin, parallelen Programmen die Fähigkeit zu verleihen, in einer
als Invasion bezeichneten Phase ressourcengewahr Berechnungen auf eine Menge aktuell
verfügbarer Ressourcen zu verteilen, und nach paralleler Abarbeitung diese in einer
als Rückzug bezeichneten Phase wieder frei zu geben. Um diese neue Art der
selbstadaptiven und ressourcengewahren Programmierung auf zukünftigen MPSoCs (engl.
Multi-Processor-Systems-on-a-Chip) effizient zu ermöglichen, bedarf es neuer
Programmierkonzepte, Sprachen und Compilern wie auch Laufzeit- bzw. Betriebssystemen
sowie revolutionärer Architekturerfindungen, die sich auf die Rekonfigurierbarkeit von
sowohl Prozessor-, Verbindungs- als auch Speicherressourcen beziehen. | Projektleitung:
Prof. Dr.-Ing. Felix Freiling, Prof. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Snelting, Gregor
Beteiligte:
Prof. Dr.-Ing. Tilo Müller, Dr.-Ing. Johannes Götzfried, Dr. Pieter Maene, Furkan Turan, M. Sc., De Clercq, Ruan
Laufzeit: 1.6.2014 - 30.6.2018
Förderer:
DFG
Mitwirkende Institutionen:
K.U.Leuven ESAT - COSIC
Kontakt:
Freiling, Felix
Telefon +49 9131 85 69901, Fax +49 9131 85 69919, E-Mail: felix.freiling@fau.de
| | Publikationen |
|---|
Seitzer, Maximilian ; Gruhn, Michael ; Müller, Tilo: A Bytecode Interpreter for Secure Program Execution in Untrusted Main Memory. In: SBA Research (Hrsg.) : 20th European Symposium on Research in Computer Security (ESORICS 2015 Vienna, Austria 21.09. - 25.09.2015). 2015, S. 376-395.
[doi>10.1007/978-3-319-24177-7_19] | Anikeev, Maxim ; Freiling, Felix ; Götzfried, Johannes ; Müller, Tilo: Secure garbage collection: Preventing malicious data harvesting from deallocated Java objects inside the Dalvik VM. In: Journal of Information Security and Applications. Amsterdam : Elsevier, 2015, S. 81-86.
[doi>10.1016/j.jisa.2014.10.001] | | Kugler, Christopher ; Müller, Tilo: Separated Control and Data Stacks to Mitigate Buffer Overflow Exploits. In: European Alliance for Innovation (EAI) ; Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (ICST) (Hrsg.) : Endorsed Transactions on Security and Safety. Open Access : EAI ICST, 2015, S. 1-36. | Götzfried, Johannes ; Müller, Tilo ; de Clercq, Ruan ; Maene, Pieter ; Freiling, Felix ; Verbauwhede, Ingrid: Soteria: Offline Software Protection within Low-cost Embedded Devices. In: ACM (Hrsg.) : Proceedings of the 31th Annual Computer Security Applications Conference (ACSAC'15 Los Angeles, California, USA 07.12. - 11.12.2015). 2015, S. 241-250.
[doi>10.1145/2818000.2856129] | | Freiling, Felix ; Protsenko, Mykolai ; Zhuang, Yan: An Empirical Evaluation of Software Obfuscation Techniques applied to Android APKs. In: Lin, Jingqiang ; Müller, Tilo (Veranst.) : International Workshop on Data Protection in Mobile and Pervasive Computing (DAPRO 2014 Beijing, China 23.09.2014). 2014, S. -. | Götzfried, Johannes ; Müller, Tilo: Mutual Authentication and Trust Bootstrapping towards Secure Disk Encryption. In: Transactions on Information and System Security (TISSEC). Bd. 17, 2. Aufl. New York : ACM, 2014.
[doi>10.1145/2663348] | | Kugler, Christopher ; Müller, Tilo: SCADS: Separated Control- and Data-Stacks (Best Student Paper Award). In: ICST (The Institute for Computer Sciences, Social Informatics and Telecommunications Engineering) (Hrsg.) : 10th International Conference on Security and Privacy in Communication Networks (SecureComm '14 Beijing, China 24.9.-26.9.2014). 2014, S. -. | | Götzfried, Johannes: RAM-Schranke: RAM-Verschlüsselung bei AMD und Intel. In: c't Magazin für Computertechnik 10/2018 (2018), Nr. 10, S. 174-179 | Übler, David ; Götzfried, Johannes ; Müller, Tilo: Secure Remote Computation using Intel SGX. In: Langweg, Hanno ; Meier, Michael (Hrsg.) : Sicherheit 2018 (Sicherheit, Schutz und Zuverlässigkeit Konstanz 25.04 - 27.04.2018). Bd. 9, 1. Aufl. Bonn : Köllen Druck+Verlag GmbH, 2018, S. 195-205. (Konferenzband der 9. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI) Bd. LNI)
[doi>10.18420/sicherheit2018_16] | | Götzfried, Johannes: Trusted Systems in Untrusted Environments: Protecting against Strong Attackers. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Diss., 2018. - 121 Seiten. | Lefebvre, Vincent ; Santinelli, Gianni ; Müller, Tilo ; Götzfried, Johannes: Universal Trusted Execution Environments for Securing SDN/NFV Operations. In: SBA Research (Hrsg.) : ARES 2018: International Conference on Availability, Reliability and Security (International Conference on Availability, Reliability and Security Proceedings 2018 Hamburg, Germany 27.08. - 30.08.2018). Hamburg : ACM, 2018, S. -.
[doi>10.1145/3230833.3233256] | Götzfried, Johannes ; Eckert, Moritz ; Schinzel, Sebastian ; Müller, Tilo: Cache Attacks on Intel SGX. In: ACM (Hrsg.) : Proceedings of the Tenth European Workshop on System Security (EuroSec'17 Belgrade, Serbia 12.02.2017). 2017, S. -.
[doi>10.1145/3065913.3065915] | Maene, Pieter ; Götzfried, Johannes ; de Clercq, Ruan ; Müller, Tilo ; Freiling, Felix ; Verbauwhede, Ingrid: Hardware-Based Trusted Computing Architectures for Isolation and Attestation. In: IEEE Transactions on Computers 67 (2017), Nr. 3, S. 361-374
[doi>10.1109/TC.2017.2647955] | Noorman, Job ; Van Bulck, Jo ; Mühlberg, Jan Tobias ; Piessens, Frank ; Maene, Pieter ; Preneel, Bart ; Verbauwhede, Ingrid ; Götzfried, Johannes ; Müller, Tilo ; Freiling, Felix: Sancus 2.0: A Low-Cost Security Architecture for IoT Devices. In: ACM Transactions on Privacy and Security 20 (2017), Nr. 3, S. 7:1-7:33
[doi>10.1145/3079763] | de Clercq, Ruan ; Götzfried, Johannes ; Übler, David ; Maene, Pieter ; Verbauwhede, Ingrid: SOFIA: Software and Control Flow Integrity Architecture. In: Computers & Security 68 (2017), S. 16-35
[doi>10.1016/j.cose.2017.03.013] | Kalysch, Anatoli ; Götzfried, Johannes ; Müller, Tilo: VMAttack: Deobfuscating Virtualization-Based Packed Binaries. In: SBA Research (Hrsg.) : 12th International Conference on Availability, Reliability and Security (ARES'17 Reggio Calabria, Italy 29.08. - 01.09.2017). 2017, S. 33-43.
[doi>10.1145/3098954.3098995] | Weichslgartner, Andreas ; Wildermann, Stefan ; Götzfried, Johannes ; Freiling, Felix ; Glaß, Michael ; Teich, Jürgen: Design-Time/Run-Time Mapping of Security-Critical Applications in Heterogeneous MPSoCs. In: ACM (Hrsg.) : Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES'16 Sankt Goar, Germany 23.05. - 25.05.16). 2016, S. 153-162.
[doi>10.1145/2906363.2906370] | Götzfried, Johannes ; Dörr, Nico ; Palutke, Ralph ; Müller, Tilo: HyperCrypt: Hypervisor-based Encryption of Kernel and User Space. In: SBA Research (Hrsg.) : 11th International Conference on Availability, Reliability and Security (ARES'16 Salzburg, Austria 31.08. - 02.09.2016). 2016, S. 79-87.
[doi>10.1109/ARES.2016.13] | Richter, Lars ; Götzfried, Johannes ; Müller, Tilo: Isolating Operating System Components with Intel SGX. In: ACM (Hrsg.) : 1st Workshop on System Software for Trusted Execution (SysTEX'16 Trento, Italy 12.12. - 16.12.2016). 2016, S. 8:1-8:6.
[doi>10.1145/3007788.3007796] | Drescher, Gabor ; Erhardt, Christoph ; Freiling, Felix ; Götzfried, Johannes ; Lohmann, Daniel ; Maene, Pieter ; Müller, Tilo ; Verbauwhede, Ingrid ; Weichslgartner, Andreas ; Wildermann, Stefan: Providing security on demand using invasive computing. In: it - Information Technology 58 (2016), Nr. 6, S. 281-295
[doi>10.1515/itit-2016-0032] | Götzfried, Johannes ; Müller, Tilo ; Drescher, Gabor ; Nürnberger, Stefan ; Backes, Michael : RamCrypt: Kernel-based Address Space Encryption for User-mode Processes. In: ACM SIGSAC (Hrsg.) : 11th ACM Asia Conference on Computer and Communications Security (ASIACCS'16 Xi'an, China 30.05. - 3.06.16). New York : ACM, 2016, S. 919-924. (Special Interest Group on Security, Audit and Control (SIGSAC))
[doi>10.1145/2897845.2897924] | Freiling, Felix ; Groß, Tobias ; Latzo, Tobias ; Müller, Tilo ; Palutke, Ralph: Advances in Forensic Data Acquisition. In: Design & Test 35 (2018), Nr. 5, S. 1-12
[doi>10.1109/MDAT.2018.2862366] |
|