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.

Book Section

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

Conference or Workshop Item

Madlener, Felix and Weingart, Julia and 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 and Madlener, Felix and Schlosser, Andreas and Huss, Sorin and Walther, Christoph (2010):
A Viable Approach to Machine-Checked Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography.
In: Workshop on Program Semantics, Specification and Verification: Theory and Applications at the 5th International Computer Science Symposium in Russia, pp. 95-101, [Conference or Workshop Item]

Madlener, Felix and Stoettinger, Marc and 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 and Huss, Sorin and 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 and Madlener, Felix and 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 and Molter, Gregor and 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), In: https://www.date-conference.com/proceedings-archive/PAPERS/2009/DATE09/PDFFILES/11.6_4.PDF, [Conference or Workshop Item]

Madlener, Felix and 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 and Madlener, Felix and Schlosser, Andreas and Huss, Sorin A. and Walther, Christoph (2007):
Automated Verification for an Efficient Elliptic-Curve Algorithm - A Case Study.
In: Information Security: Proceedings of the IX. International Conference, January 2007, [Conference or Workshop Item]

Huss, Sorin and Jung, Michael and 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 and Madlener, Felix and Ernst, Markus and 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 and Jung, Michael and Madlener, Felix and Huss, Sorin A. and 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]

Ph.D. Thesis

Madlener, Felix (2013):
A Model of Computation for Reconfigurable Systems.
TU Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/3468],
[Ph.D. Thesis]

This list was generated on Sat Dec 14 00:11:10 2019 CET.