Mark D. Aagaard

Available identifiers

Publication	Date of Publication	Type
Analysis and Efficient Implementations of a Class of Composited de Bruijn Sequences	2020-12-14	Paper
Hardware Optimizations and Analysis for the WG-16 Cipher with Tower Field Arithmetic	2019-03-07	Paper
Rapid hardware design for cryptographic modules with filtering structures over small finite fields	2019-02-15	Paper
On ideal \(t\)-tuple distribution of filtering de Bruijn sequence generators	2018-03-09	Paper
The \textsf{Simeck} family of lightweight block ciphers	2018-02-14	Paper
Efficient Composited de Bruijn Sequence Generators	2017-11-10	Paper
Optimal parameters for the WG stream cipher family	2014-06-20	Paper
Resilience to distinguishing attacks on WG-7 cipher and their generalizations	2013-11-14	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Improving the Usability of HOL Through Controlled Automation Tactics	2008-09-02	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4427900	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4787212	2003-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4787252	2003-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q2754053	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4494393	2000-12-11	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mark D. Aagaard