2022

Fereidooni, Hossein ; Dmitrienko, Alexandra ; Rieger, Phillip ; Miettinen, Markus ; Sadeghi, Ahmad-Reza ; Madlener, Felix (2022)
FedCRI: Federated Mobile Cyber-Risk Intelligence.
Network and Distributed Systems Security (NDSS) Symposium 2022. San Diego, USA (24.04.2022-28.04.2022)
doi: 10.14722/ndss.2022.23153
Konferenzveröffentlichung, Bibliographie

2013

Madlener, Felix (2013)
A Model of Computation for Reconfigurable Systems.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

2010

Madlener, Felix ; Weingart, Julia ; Huss, Sorin (2010)
Verification of Dynamically Reconfigurable Embedded Systems by Model Transformation Rules.
Konferenzveröffentlichung, Bibliographie

Anikeev, Maxim ; Madlener, Felix ; Schlosser, Andreas ; Huss, Sorin ; Walther, Christoph (2010)
Viable Approach to Machine-Checked Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography.
Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010). Kazan, Russia (14.06.2010-15.06.2010)
Konferenzveröffentlichung, Bibliographie

2009

Stoettinger, Marc ; Madlener, Felix ; Huss, Sorin
Hrsg.: Platzner, Marco ; Teich, Jürgen ; Wehn, Norbert (2009)
Dynamically Reconfigurable Systems - Architectures, Design Methods and Applications.
Buchkapitel, Bibliographie

Madlener, Felix ; Stoettinger, Marc ; Huss, Sorin (2009)
Novel Hardening Techniques against Differential Power Analysis for Multiplication in GF(2^n).
doi: 10.1109/FPT.2009.5377676
Konferenzveröffentlichung, Bibliographie

Madlener, Felix ; Huss, Sorin ; Biedermann, Alexander (2009)
RecDEVS: A Comprehensive Model of Computation for Dynamically Reconfigurable Hardware Systems.
Konferenzveröffentlichung, Bibliographie

Molter, Gregor ; Madlener, Felix ; Huss, Sorin (2009)
A System Level Design Flow for Embedded Systems based on Model of Computation Mappings.
Konferenzveröffentlichung, Bibliographie

Madlener, Felix ; Molter, Gregor ; Huss, Sorin (2009)
SC-DEVS: An efficient SystemC Extension for the DEVS Model of Computation.
https://www.date-conference.com/proceedings-archive/PAPERS/2009/DATE09/PDFFILES/11.6_4.PDF.
Konferenzveröffentlichung, Bibliographie

2008

Madlener, Felix ; Huss, Sorin (2008)
Domain-specific Design Space Exploration and Variant Selection Methods for High-Performance Cryptographic Engines.
Konferenzveröffentlichung, Bibliographie

2007

Anikeev, Maxim ; Madlener, Felix ; Schlosser, Andreas ; Huss, Sorin A. ; Walther, Christoph (2007)
Automated Verification for an Efficient Elliptic-Curve Algorithm - A Case Study.
Information Security: Proceedings of the IX. International Conference, January 2007.
Konferenzveröffentlichung, Bibliographie

2004

Huss, Sorin ; Jung, Michael ; Madlener, Felix (2004)
High Speed Elliptic Curve Crypto Processors: Design Space Exploration by Means of Reconfigurable Hardware.
Konferenzveröffentlichung, Bibliographie

2002

Jung, Michael ; Madlener, Felix ; Ernst, Markus ; Huss, Sorin (2002)
A Reconfigurable Coprocessor for Finite Field Multiplication in GF(2^n).
Konferenzveröffentlichung, Bibliographie

Ernst, Markus ; Jung, Michael ; Madlener, Felix ; Huss, Sorin A. ; Blümel, R. (2002)
A reconfigurable system on chip implementation for elliptic curve cryptography over GF (2 n).
Konferenzveröffentlichung, Bibliographie