TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 13.

Madlener, Felix (2013):
A Model of Computation for Reconfigurable Systems.
TU Darmstadt,
[Ph.D. Thesis]

Madlener, Felix ; Weingart, Julia ; Huss, Sorin (2010):
Verification of Dynamically Reconfigurable Embedded Systems by Model Transformation Rules.
In: 4th IEEE/ACM International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS 2010), part of the Embedded Systems Week,
[Conference or Workshop Item]

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.
pp. 95-101, Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010), Kazan, Russia, June 14-15, 2010, [Conference or Workshop Item]

Stoettinger, Marc ; Madlener, Felix ; Huss, Sorin
Platzner, Marco ; Teich, Jürgen ; Wehn, Norbert (eds.) (2009):
Dynamically Reconfigurable Systems - Architectures, Design Methods and Applications.
pp. 305-321, Springer, ISBN 978-9-04-813484-7,
[Book Section]

Madlener, Felix ; Stoettinger, Marc ; Huss, Sorin (2009):
Novel Hardening Techniques against Differential Power Analysis for Multiplication in GF(2^n).
In: IEEE International Conference on Field-Programmable Technology (ICFPT'09),
DOI: 10.1109/FPT.2009.5377676,
[Conference or Workshop Item]

Madlener, Felix ; Huss, Sorin ; Biedermann, Alexander (2009):
RecDEVS: A Comprehensive Model of Computation for Dynamically Reconfigurable Hardware Systems.
In: 4th IFAC Workshop on Discrete-Event System Design (DESDes'09),
[Conference or Workshop Item]

Molter, Gregor ; Madlener, Felix ; Huss, Sorin (2009):
A System Level Design Flow for Embedded Systems based on Model of Computation Mappings.
In: 4th IFAC Workshop on Discrete-Event System Design (DESDes'09),
[Conference or Workshop Item]

Madlener, Felix ; Molter, Gregor ; Huss, Sorin (2009):
SC-DEVS: An efficient SystemC Extension for the DEVS Model of Computation.
In: ACM/IEEE Design Automation and Test in Europe (DATE'09),
https://www.date-conference.com/proceedings-archive/PAPERS/2009/DATE09/PDFFILES/11.6_4.PDF, [Conference or Workshop Item]

Madlener, Felix ; Huss, Sorin (2008):
Domain-specific Design Space Exploration and Variant Selection Methods for High-Performance Cryptographic Engines.
In: IASTED International Conference on Circuits and Systems (CS'2008),
[Conference or Workshop Item]

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, [Conference or Workshop Item]

Huss, Sorin ; Jung, Michael ; Madlener, Felix (2004):
High Speed Elliptic Curve Crypto Processors: Design Space Exploration by Means of Reconfigurable Hardware.
In: 6th International Scientific and Applied Conference - Information Security,
ISBN 978-5-83-270172-1,
[Conference or Workshop Item]

Jung, Michael ; Madlener, Felix ; Ernst, Markus ; Huss, Sorin (2002):
A Reconfigurable Coprocessor for Finite Field Multiplication in GF(2^n).
In: IEEE Workshop on Heterogeneous Reconfigurable Systems on Chip (HRSoc'02),
[Conference or Workshop Item]

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).
In: Cryptographic hardware and embedded systems / 4th International Workshop CHES 2002, Redwood Shores, CA, USA. - Berlin : Springer, 2002. - (Lecture notes in computer science ; 2523), Berlin, Springer, [Conference or Workshop Item]

This list was generated on Tue Jun 22 01:17:21 2021 CEST.