---
_id: '27519'
citation:
ama: Gausemeier J, Bauer W, Dumitrescu R, eds. Vorausschau und Technologieplanung
- 16. Symposium für Vorausschau und Technologieplanung. Vol Band 400. Heinz
Nixdorf Institut, Universität Paderborn; 2021.
apa: 'Gausemeier, J., Bauer, W., & Dumitrescu, R. (Eds.). (2021). Vorausschau
und Technologieplanung - 16. Symposium für Vorausschau und Technologieplanung:
Vol. Band 400. Heinz Nixdorf Institut, Universität Paderborn.'
bibtex: '@book{Gausemeier_Bauer_Dumitrescu_2021, place={Paderborn}, title={Vorausschau
und Technologieplanung - 16. Symposium für Vorausschau und Technologieplanung},
volume={Band 400}, publisher={Heinz Nixdorf Institut, Universität Paderborn},
year={2021} }'
chicago: 'Gausemeier, Jürgen, Wilhelm Bauer, and Roman Dumitrescu, eds. Vorausschau
und Technologieplanung - 16. Symposium für Vorausschau und Technologieplanung.
Vol. Band 400. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2021.'
ieee: 'J. Gausemeier, W. Bauer, and R. Dumitrescu, Eds., Vorausschau und Technologieplanung
- 16. Symposium für Vorausschau und Technologieplanung, vol. Band 400. Paderborn:
Heinz Nixdorf Institut, Universität Paderborn, 2021.'
mla: Gausemeier, Jürgen, et al., editors. Vorausschau und Technologieplanung
- 16. Symposium für Vorausschau und Technologieplanung. Heinz Nixdorf Institut,
Universität Paderborn, 2021.
short: J. Gausemeier, W. Bauer, R. Dumitrescu, eds., Vorausschau und Technologieplanung
- 16. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut,
Universität Paderborn, Paderborn, 2021.
date_created: 2021-11-17T10:49:13Z
date_updated: 2024-07-12T12:06:11Z
department:
- _id: '563'
- _id: '26'
editor:
- first_name: Jürgen
full_name: Gausemeier, Jürgen
id: '163'
last_name: Gausemeier
- first_name: Wilhelm
full_name: Bauer, Wilhelm
last_name: Bauer
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
language:
- iso: ger
place: Paderborn
publication_status: published
publisher: Heinz Nixdorf Institut, Universität Paderborn
status: public
title: Vorausschau und Technologieplanung - 16. Symposium für Vorausschau und Technologieplanung
type: conference_editor
user_id: '1112'
volume: Band 400
year: '2021'
...
---
_id: '29702'
author:
- first_name: Lukas
full_name: Höper, Lukas
id: '58041'
last_name: Höper
- first_name: Sven
full_name: Hüsing, Sven
id: '58465'
last_name: Hüsing
- first_name: Hülya
full_name: Malatyali, Hülya
id: '4076'
last_name: Malatyali
- first_name: Carsten
full_name: Schulte, Carsten
id: '60311'
last_name: Schulte
- first_name: Lea
full_name: Budde, Lea
id: '32443'
last_name: Budde
citation:
ama: Höper L, Hüsing S, Malatyali H, Schulte C, Budde L. Methodik für Datenprojekte
im Informatikunterricht. LOG IN. 2021;41(1):31-38.
apa: Höper, L., Hüsing, S., Malatyali, H., Schulte, C., & Budde, L. (2021).
Methodik für Datenprojekte im Informatikunterricht. LOG IN, 41(1),
31–38.
bibtex: '@article{Höper_Hüsing_Malatyali_Schulte_Budde_2021, title={Methodik für
Datenprojekte im Informatikunterricht}, volume={41}, number={1}, journal={LOG
IN}, publisher={LOG IN Verlag}, author={Höper, Lukas and Hüsing, Sven and Malatyali,
Hülya and Schulte, Carsten and Budde, Lea}, year={2021}, pages={31–38} }'
chicago: 'Höper, Lukas, Sven Hüsing, Hülya Malatyali, Carsten Schulte, and Lea Budde.
“Methodik Für Datenprojekte Im Informatikunterricht.” LOG IN 41, no. 1
(2021): 31–38.'
ieee: L. Höper, S. Hüsing, H. Malatyali, C. Schulte, and L. Budde, “Methodik für
Datenprojekte im Informatikunterricht,” LOG IN, vol. 41, no. 1, pp. 31–38,
2021.
mla: Höper, Lukas, et al. “Methodik Für Datenprojekte Im Informatikunterricht.”
LOG IN, vol. 41, no. 1, LOG IN Verlag, 2021, pp. 31–38.
short: L. Höper, S. Hüsing, H. Malatyali, C. Schulte, L. Budde, LOG IN 41 (2021)
31–38.
date_created: 2022-01-31T12:18:52Z
date_updated: 2024-09-05T12:01:29Z
ddc:
- '370'
department:
- _id: '67'
file:
- access_level: open_access
content_type: application/pdf
creator: hoeper
date_created: 2024-09-05T11:58:59Z
date_updated: 2024-09-05T12:01:29Z
file_id: '56076'
file_name: Höper et al_2021_Methodik für Datenprojekte im Informatikunterricht.pdf
file_size: 179106
relation: main_file
file_date_updated: 2024-09-05T12:01:29Z
has_accepted_license: '1'
intvolume: ' 41'
issue: '1'
language:
- iso: eng
oa: '1'
page: 31-38
publication: LOG IN
publisher: LOG IN Verlag
status: public
title: Methodik für Datenprojekte im Informatikunterricht
type: journal_article
user_id: '58041'
volume: 41
year: '2021'
...
---
_id: '34715'
author:
- first_name: Philipp
full_name: Terhörst, Philipp
id: '97123'
last_name: Terhörst
- first_name: André
full_name: Boller, André
last_name: Boller
- first_name: Naser
full_name: Damer, Naser
last_name: Damer
- first_name: Florian
full_name: Kirchbuchner, Florian
last_name: Kirchbuchner
- first_name: Arjan
full_name: Kuijper, Arjan
last_name: Kuijper
citation:
ama: 'Terhörst P, Boller A, Damer N, Kirchbuchner F, Kuijper A. MiDeCon: Unsupervised
and Accurate Fingerprint and Minutia Quality Assessment based on Minutia Detection
Confidence. In: International IEEE Joint Conference on Biometrics, IJCB 2021,
Shenzhen, China, August 4-7, 2021. IEEE; 2021:1–8. doi:10.1109/IJCB52358.2021.9484404'
apa: 'Terhörst, P., Boller, A., Damer, N., Kirchbuchner, F., & Kuijper, A. (2021).
MiDeCon: Unsupervised and Accurate Fingerprint and Minutia Quality Assessment
based on Minutia Detection Confidence. International IEEE Joint Conference
on Biometrics, IJCB 2021, Shenzhen, China, August 4-7, 2021, 1–8. https://doi.org/10.1109/IJCB52358.2021.9484404'
bibtex: '@inproceedings{Terhörst_Boller_Damer_Kirchbuchner_Kuijper_2021, title={MiDeCon:
Unsupervised and Accurate Fingerprint and Minutia Quality Assessment based on
Minutia Detection Confidence}, DOI={10.1109/IJCB52358.2021.9484404},
booktitle={International IEEE Joint Conference on Biometrics, IJCB 2021, Shenzhen,
China, August 4-7, 2021}, publisher={IEEE}, author={Terhörst, Philipp and Boller,
André and Damer, Naser and Kirchbuchner, Florian and Kuijper, Arjan}, year={2021},
pages={1–8} }'
chicago: 'Terhörst, Philipp, André Boller, Naser Damer, Florian Kirchbuchner, and
Arjan Kuijper. “MiDeCon: Unsupervised and Accurate Fingerprint and Minutia Quality
Assessment Based on Minutia Detection Confidence.” In International IEEE Joint
Conference on Biometrics, IJCB 2021, Shenzhen, China, August 4-7, 2021, 1–8.
IEEE, 2021. https://doi.org/10.1109/IJCB52358.2021.9484404.'
ieee: 'P. Terhörst, A. Boller, N. Damer, F. Kirchbuchner, and A. Kuijper, “MiDeCon:
Unsupervised and Accurate Fingerprint and Minutia Quality Assessment based on
Minutia Detection Confidence,” in International IEEE Joint Conference on Biometrics,
IJCB 2021, Shenzhen, China, August 4-7, 2021, 2021, pp. 1–8, doi: 10.1109/IJCB52358.2021.9484404.'
mla: 'Terhörst, Philipp, et al. “MiDeCon: Unsupervised and Accurate Fingerprint
and Minutia Quality Assessment Based on Minutia Detection Confidence.” International
IEEE Joint Conference on Biometrics, IJCB 2021, Shenzhen, China, August 4-7, 2021,
IEEE, 2021, pp. 1–8, doi:10.1109/IJCB52358.2021.9484404.'
short: 'P. Terhörst, A. Boller, N. Damer, F. Kirchbuchner, A. Kuijper, in: International
IEEE Joint Conference on Biometrics, IJCB 2021, Shenzhen, China, August 4-7, 2021,
IEEE, 2021, pp. 1–8.'
date_created: 2022-12-21T12:29:19Z
date_updated: 2023-01-17T09:16:48Z
department:
- _id: '761'
doi: 10.1109/IJCB52358.2021.9484404
extern: '1'
language:
- iso: eng
page: 1–8
publication: International IEEE Joint Conference on Biometrics, IJCB 2021, Shenzhen,
China, August 4-7, 2021
publisher: IEEE
status: public
title: 'MiDeCon: Unsupervised and Accurate Fingerprint and Minutia Quality Assessment
based on Minutia Detection Confidence'
type: conference
user_id: '14931'
year: '2021'
...
---
_id: '34714'
author:
- first_name: Blaz
full_name: Meden, Blaz
last_name: Meden
- first_name: Peter
full_name: Rot, Peter
last_name: Rot
- first_name: Philipp
full_name: Terhörst, Philipp
id: '97123'
last_name: Terhörst
- first_name: Naser
full_name: Damer, Naser
last_name: Damer
- first_name: Arjan
full_name: Kuijper, Arjan
last_name: Kuijper
- first_name: Walter J.
full_name: Scheirer, Walter J.
last_name: Scheirer
- first_name: Arun
full_name: Ross, Arun
last_name: Ross
- first_name: Peter
full_name: Peer, Peter
last_name: Peer
- first_name: Vitomir
full_name: Struc, Vitomir
last_name: Struc
citation:
ama: 'Meden B, Rot P, Terhörst P, et al. Privacy-Enhancing Face Biometrics: A Comprehensive
Survey. IEEE Trans Inf Forensics Secur. 2021;16:4147–4183. doi:10.1109/TIFS.2021.3096024'
apa: 'Meden, B., Rot, P., Terhörst, P., Damer, N., Kuijper, A., Scheirer, W. J.,
Ross, A., Peer, P., & Struc, V. (2021). Privacy-Enhancing Face Biometrics:
A Comprehensive Survey. IEEE Trans. Inf. Forensics Secur., 16, 4147–4183.
https://doi.org/10.1109/TIFS.2021.3096024'
bibtex: '@article{Meden_Rot_Terhörst_Damer_Kuijper_Scheirer_Ross_Peer_Struc_2021,
title={Privacy-Enhancing Face Biometrics: A Comprehensive Survey}, volume={16},
DOI={10.1109/TIFS.2021.3096024},
journal={IEEE Trans. Inf. Forensics Secur.}, author={Meden, Blaz and Rot, Peter
and Terhörst, Philipp and Damer, Naser and Kuijper, Arjan and Scheirer, Walter
J. and Ross, Arun and Peer, Peter and Struc, Vitomir}, year={2021}, pages={4147–4183}
}'
chicago: 'Meden, Blaz, Peter Rot, Philipp Terhörst, Naser Damer, Arjan Kuijper,
Walter J. Scheirer, Arun Ross, Peter Peer, and Vitomir Struc. “Privacy-Enhancing
Face Biometrics: A Comprehensive Survey.” IEEE Trans. Inf. Forensics Secur.
16 (2021): 4147–4183. https://doi.org/10.1109/TIFS.2021.3096024.'
ieee: 'B. Meden et al., “Privacy-Enhancing Face Biometrics: A Comprehensive
Survey,” IEEE Trans. Inf. Forensics Secur., vol. 16, pp. 4147–4183, 2021,
doi: 10.1109/TIFS.2021.3096024.'
mla: 'Meden, Blaz, et al. “Privacy-Enhancing Face Biometrics: A Comprehensive Survey.”
IEEE Trans. Inf. Forensics Secur., vol. 16, 2021, pp. 4147–4183, doi:10.1109/TIFS.2021.3096024.'
short: B. Meden, P. Rot, P. Terhörst, N. Damer, A. Kuijper, W.J. Scheirer, A. Ross,
P. Peer, V. Struc, IEEE Trans. Inf. Forensics Secur. 16 (2021) 4147–4183.
date_created: 2022-12-21T12:28:53Z
date_updated: 2023-01-17T09:17:45Z
department:
- _id: '761'
doi: 10.1109/TIFS.2021.3096024
extern: '1'
intvolume: ' 16'
language:
- iso: eng
page: 4147–4183
publication: IEEE Trans. Inf. Forensics Secur.
status: public
title: 'Privacy-Enhancing Face Biometrics: A Comprehensive Survey'
type: journal_article
user_id: '14931'
volume: 16
year: '2021'
...
---
_id: '34713'
author:
- first_name: Philipp
full_name: Terhörst, Philipp
id: '97123'
last_name: Terhörst
- first_name: Daniel
full_name: Fährmann, Daniel
last_name: Fährmann
- first_name: Jan Niklas
full_name: Kolf, Jan Niklas
last_name: Kolf
- first_name: Naser
full_name: Damer, Naser
last_name: Damer
- first_name: Florian
full_name: Kirchbuchner, Florian
last_name: Kirchbuchner
- first_name: Arjan
full_name: Kuijper, Arjan
last_name: Kuijper
citation:
ama: 'Terhörst P, Fährmann D, Kolf JN, Damer N, Kirchbuchner F, Kuijper A. MAAD-Face:
A Massively Annotated Attribute Dataset for Face Images. IEEE Trans Inf Forensics
Secur. 2021;16:3942–3957. doi:10.1109/TIFS.2021.3096120'
apa: 'Terhörst, P., Fährmann, D., Kolf, J. N., Damer, N., Kirchbuchner, F., &
Kuijper, A. (2021). MAAD-Face: A Massively Annotated Attribute Dataset for Face
Images. IEEE Trans. Inf. Forensics Secur., 16, 3942–3957. https://doi.org/10.1109/TIFS.2021.3096120'
bibtex: '@article{Terhörst_Fährmann_Kolf_Damer_Kirchbuchner_Kuijper_2021, title={MAAD-Face:
A Massively Annotated Attribute Dataset for Face Images}, volume={16}, DOI={10.1109/TIFS.2021.3096120},
journal={IEEE Trans. Inf. Forensics Secur.}, author={Terhörst, Philipp and Fährmann,
Daniel and Kolf, Jan Niklas and Damer, Naser and Kirchbuchner, Florian and Kuijper,
Arjan}, year={2021}, pages={3942–3957} }'
chicago: 'Terhörst, Philipp, Daniel Fährmann, Jan Niklas Kolf, Naser Damer, Florian
Kirchbuchner, and Arjan Kuijper. “MAAD-Face: A Massively Annotated Attribute Dataset
for Face Images.” IEEE Trans. Inf. Forensics Secur. 16 (2021): 3942–3957.
https://doi.org/10.1109/TIFS.2021.3096120.'
ieee: 'P. Terhörst, D. Fährmann, J. N. Kolf, N. Damer, F. Kirchbuchner, and A. Kuijper,
“MAAD-Face: A Massively Annotated Attribute Dataset for Face Images,” IEEE
Trans. Inf. Forensics Secur., vol. 16, pp. 3942–3957, 2021, doi: 10.1109/TIFS.2021.3096120.'
mla: 'Terhörst, Philipp, et al. “MAAD-Face: A Massively Annotated Attribute Dataset
for Face Images.” IEEE Trans. Inf. Forensics Secur., vol. 16, 2021, pp.
3942–3957, doi:10.1109/TIFS.2021.3096120.'
short: P. Terhörst, D. Fährmann, J.N. Kolf, N. Damer, F. Kirchbuchner, A. Kuijper,
IEEE Trans. Inf. Forensics Secur. 16 (2021) 3942–3957.
date_created: 2022-12-21T12:28:31Z
date_updated: 2023-01-17T09:18:08Z
department:
- _id: '761'
doi: 10.1109/TIFS.2021.3096120
extern: '1'
intvolume: ' 16'
language:
- iso: eng
page: 3942–3957
publication: IEEE Trans. Inf. Forensics Secur.
status: public
title: 'MAAD-Face: A Massively Annotated Attribute Dataset for Face Images'
type: journal_article
user_id: '14931'
volume: 16
year: '2021'
...
---
_id: '34711'
author:
- first_name: Philipp
full_name: Terhörst, Philipp
id: '97123'
last_name: Terhörst
citation:
ama: Terhörst P. Mitigating Soft-Biometric Driven Bias and Privacy Concerns in
Face Recognition Systems. Technical University of Darmstadt, Germany; 2021.
apa: Terhörst, P. (2021). Mitigating Soft-Biometric Driven Bias and Privacy Concerns
in Face Recognition Systems. Technical University of Darmstadt, Germany.
bibtex: '@book{Terhörst_2021, title={Mitigating Soft-Biometric Driven Bias and Privacy
Concerns in Face Recognition Systems}, publisher={Technical University of Darmstadt,
Germany}, author={Terhörst, Philipp}, year={2021} }'
chicago: Terhörst, Philipp. Mitigating Soft-Biometric Driven Bias and Privacy
Concerns in Face Recognition Systems. Technical University of Darmstadt, Germany,
2021.
ieee: P. Terhörst, Mitigating Soft-Biometric Driven Bias and Privacy Concerns
in Face Recognition Systems. Technical University of Darmstadt, Germany, 2021.
mla: Terhörst, Philipp. Mitigating Soft-Biometric Driven Bias and Privacy Concerns
in Face Recognition Systems. Technical University of Darmstadt, Germany, 2021.
short: P. Terhörst, Mitigating Soft-Biometric Driven Bias and Privacy Concerns in
Face Recognition Systems, Technical University of Darmstadt, Germany, 2021.
date_created: 2022-12-21T12:27:11Z
date_updated: 2023-01-17T09:19:22Z
department:
- _id: '761'
extern: '1'
language:
- iso: eng
publisher: Technical University of Darmstadt, Germany
status: public
title: Mitigating Soft-Biometric Driven Bias and Privacy Concerns in Face Recognition
Systems
type: dissertation
user_id: '14931'
year: '2021'
...
---
_id: '34712'
author:
- first_name: Philipp
full_name: Terhörst, Philipp
id: '97123'
last_name: Terhörst
- first_name: Daniel
full_name: Fährmann, Daniel
last_name: Fährmann
- first_name: Naser
full_name: Damer, Naser
last_name: Damer
- first_name: Florian
full_name: Kirchbuchner, Florian
last_name: Kirchbuchner
- first_name: Arjan
full_name: Kuijper, Arjan
last_name: Kuijper
citation:
ama: Terhörst P, Fährmann D, Damer N, Kirchbuchner F, Kuijper A. On Soft-Biometric
Information Stored in Biometric Face Embeddings. IEEE Trans Biom Behav Identity
Sci. 2021;3(4):519–534. doi:10.1109/TBIOM.2021.3093920
apa: Terhörst, P., Fährmann, D., Damer, N., Kirchbuchner, F., & Kuijper, A.
(2021). On Soft-Biometric Information Stored in Biometric Face Embeddings. IEEE
Trans. Biom. Behav. Identity Sci., 3(4), 519–534. https://doi.org/10.1109/TBIOM.2021.3093920
bibtex: '@article{Terhörst_Fährmann_Damer_Kirchbuchner_Kuijper_2021, title={On Soft-Biometric
Information Stored in Biometric Face Embeddings}, volume={3}, DOI={10.1109/TBIOM.2021.3093920},
number={4}, journal={IEEE Trans. Biom. Behav. Identity Sci.}, author={Terhörst,
Philipp and Fährmann, Daniel and Damer, Naser and Kirchbuchner, Florian and Kuijper,
Arjan}, year={2021}, pages={519–534} }'
chicago: 'Terhörst, Philipp, Daniel Fährmann, Naser Damer, Florian Kirchbuchner,
and Arjan Kuijper. “On Soft-Biometric Information Stored in Biometric Face Embeddings.”
IEEE Trans. Biom. Behav. Identity Sci. 3, no. 4 (2021): 519–534. https://doi.org/10.1109/TBIOM.2021.3093920.'
ieee: 'P. Terhörst, D. Fährmann, N. Damer, F. Kirchbuchner, and A. Kuijper, “On
Soft-Biometric Information Stored in Biometric Face Embeddings,” IEEE Trans.
Biom. Behav. Identity Sci., vol. 3, no. 4, pp. 519–534, 2021, doi: 10.1109/TBIOM.2021.3093920.'
mla: Terhörst, Philipp, et al. “On Soft-Biometric Information Stored in Biometric
Face Embeddings.” IEEE Trans. Biom. Behav. Identity Sci., vol. 3, no. 4,
2021, pp. 519–534, doi:10.1109/TBIOM.2021.3093920.
short: P. Terhörst, D. Fährmann, N. Damer, F. Kirchbuchner, A. Kuijper, IEEE Trans.
Biom. Behav. Identity Sci. 3 (2021) 519–534.
date_created: 2022-12-21T12:28:03Z
date_updated: 2023-01-17T09:24:45Z
department:
- _id: '761'
doi: 10.1109/TBIOM.2021.3093920
extern: '1'
intvolume: ' 3'
issue: '4'
language:
- iso: eng
page: 519–534
publication: IEEE Trans. Biom. Behav. Identity Sci.
status: public
title: On Soft-Biometric Information Stored in Biometric Face Embeddings
type: journal_article
user_id: '14931'
volume: 3
year: '2021'
...
---
_id: '27841'
abstract:
- lang: eng
text: Verification of software and processor hardware usually proceeds separately,
software analysis relying on the correctness of processors executing machine instructions.
This assumption is valid as long as the software runs on standard CPUs that have
been extensively validated and are in wide use. However, for processors exploiting
custom instruction set extensions to meet performance and energy constraints the
validation might be less extensive, challenging the correctness assumption. In
this paper we present a novel formal approach for hardware/software co-verification
targeting processors with custom instruction set extensions. We detail two different
approaches for checking whether the hardware fulfills the requirements expected
by the software analysis. The approaches are designed to explore a trade-off between
generality of the verification and computational effort. Then, we describe the
integration of software and hardware analyses for both techniques and describe
a fully automated tool chain implementing the approaches. Finally, we demonstrate
and compare the two approaches on example source code with custom instructions,
using state-of-the-art software analysis and hardware verification techniques.
author:
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
citation:
ama: Jakobs M-C, Pauck F, Platzner M, Wehrheim H, Wiersema T. Software/Hardware
Co-Verification for Custom Instruction Set Processors. IEEE Access. Published
online 2021. doi:10.1109/ACCESS.2021.3131213
apa: Jakobs, M.-C., Pauck, F., Platzner, M., Wehrheim, H., & Wiersema, T. (2021).
Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE
Access. https://doi.org/10.1109/ACCESS.2021.3131213
bibtex: '@article{Jakobs_Pauck_Platzner_Wehrheim_Wiersema_2021, title={Software/Hardware
Co-Verification for Custom Instruction Set Processors}, DOI={10.1109/ACCESS.2021.3131213},
journal={IEEE Access}, publisher={IEEE}, author={Jakobs, Marie-Christine and Pauck,
Felix and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2021}
}'
chicago: Jakobs, Marie-Christine, Felix Pauck, Marco Platzner, Heike Wehrheim, and
Tobias Wiersema. “Software/Hardware Co-Verification for Custom Instruction Set
Processors.” IEEE Access, 2021. https://doi.org/10.1109/ACCESS.2021.3131213.
ieee: 'M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, and T. Wiersema, “Software/Hardware
Co-Verification for Custom Instruction Set Processors,” IEEE Access, 2021,
doi: 10.1109/ACCESS.2021.3131213.'
mla: Jakobs, Marie-Christine, et al. “Software/Hardware Co-Verification for Custom
Instruction Set Processors.” IEEE Access, IEEE, 2021, doi:10.1109/ACCESS.2021.3131213.
short: M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, T. Wiersema, IEEE Access
(2021).
date_created: 2021-11-25T14:12:22Z
date_updated: 2023-01-18T08:34:50Z
department:
- _id: '78'
doi: 10.1109/ACCESS.2021.3131213
funded_apc: '1'
keyword:
- Software Analysis
- Abstract Interpretation
- Custom Instruction
- Hardware Verification
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: IEEE Access
publication_status: published
publisher: IEEE
quality_controlled: '1'
status: public
title: Software/Hardware Co-Verification for Custom Instruction Set Processors
type: journal_article
user_id: '22398'
year: '2021'
...
---
_id: '21238'
author:
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Pauck F, Wehrheim H. Cooperative Android App Analysis with CoDiDroid. In:
Koziolek A, Schaefer I, Seidl C, eds. Software Engineering 2021. Gesellschaft
für Informatik e.V.; 2021:83-84. doi:10.18420/SE2021_30 '
apa: Pauck, F., & Wehrheim, H. (2021). Cooperative Android App Analysis with
CoDiDroid. In A. Koziolek, I. Schaefer, & C. Seidl (Eds.), Software Engineering
2021 (pp. 83–84). Gesellschaft für Informatik e.V. https://doi.org/10.18420/SE2021_30
bibtex: '@inproceedings{Pauck_Wehrheim_2021, place={Bonn}, title={Cooperative Android
App Analysis with CoDiDroid}, DOI={10.18420/SE2021_30 }, booktitle={Software Engineering 2021}, publisher={Gesellschaft
für Informatik e.V.}, author={Pauck, Felix and Wehrheim, Heike}, editor={Koziolek,
Anne and Schaefer, Ina and Seidl, Christoph}, year={2021}, pages={83–84} }'
chicago: 'Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with
CoDiDroid.” In Software Engineering 2021, edited by Anne Koziolek, Ina
Schaefer, and Christoph Seidl, 83–84. Bonn: Gesellschaft für Informatik e.V.,
2021. https://doi.org/10.18420/SE2021_30
.'
ieee: 'F. Pauck and H. Wehrheim, “Cooperative Android App Analysis with CoDiDroid,”
in Software Engineering 2021, 2021, pp. 83–84, doi: 10.18420/SE2021_30 .'
mla: Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with CoDiDroid.”
Software Engineering 2021, edited by Anne Koziolek et al., Gesellschaft
für Informatik e.V., 2021, pp. 83–84, doi:10.18420/SE2021_30 .
short: 'F. Pauck, H. Wehrheim, in: A. Koziolek, I. Schaefer, C. Seidl (Eds.), Software
Engineering 2021, Gesellschaft für Informatik e.V., Bonn, 2021, pp. 83–84.'
date_created: 2021-02-16T09:28:49Z
date_updated: 2023-01-18T08:35:20Z
department:
- _id: '77'
doi: '10.18420/SE2021_30 '
editor:
- first_name: Anne
full_name: Koziolek, Anne
last_name: Koziolek
- first_name: Ina
full_name: Schaefer, Ina
last_name: Schaefer
- first_name: Christoph
full_name: Seidl, Christoph
last_name: Seidl
language:
- iso: eng
page: ' 83-84 '
place: Bonn
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: Software Engineering 2021
publication_status: published
publisher: Gesellschaft für Informatik e.V.
status: public
title: Cooperative Android App Analysis with CoDiDroid
type: conference
user_id: '22398'
year: '2021'
...
---
_id: '37404'
author:
- first_name: Jörn Steffen
full_name: Menzefricke, Jörn Steffen
id: '29799'
last_name: Menzefricke
- first_name: Ingrid
full_name: Wiederkehr, Ingrid
id: '38169'
last_name: Wiederkehr
- first_name: Christian
full_name: Koldewey, Christian
id: '43136'
last_name: Koldewey
orcid: https://orcid.org/0000-0001-7992-6399
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: Menzefricke JS, Wiederkehr I, Koldewey C, Dumitrescu R. Maturity-based Development
of Strategic Thrusts for Socio-technical Risks. Procedia CIRP. 2021;104:241-246.
doi:10.1016/j.procir.2021.11.041
apa: Menzefricke, J. S., Wiederkehr, I., Koldewey, C., & Dumitrescu, R. (2021).
Maturity-based Development of Strategic Thrusts for Socio-technical Risks. Procedia
CIRP, 104, 241–246. https://doi.org/10.1016/j.procir.2021.11.041
bibtex: '@article{Menzefricke_Wiederkehr_Koldewey_Dumitrescu_2021, title={Maturity-based
Development of Strategic Thrusts for Socio-technical Risks}, volume={104}, DOI={10.1016/j.procir.2021.11.041},
journal={Procedia CIRP}, publisher={Elsevier BV}, author={Menzefricke, Jörn Steffen
and Wiederkehr, Ingrid and Koldewey, Christian and Dumitrescu, Roman}, year={2021},
pages={241–246} }'
chicago: 'Menzefricke, Jörn Steffen, Ingrid Wiederkehr, Christian Koldewey, and
Roman Dumitrescu. “Maturity-Based Development of Strategic Thrusts for Socio-Technical
Risks.” Procedia CIRP 104 (2021): 241–46. https://doi.org/10.1016/j.procir.2021.11.041.'
ieee: 'J. S. Menzefricke, I. Wiederkehr, C. Koldewey, and R. Dumitrescu, “Maturity-based
Development of Strategic Thrusts for Socio-technical Risks,” Procedia CIRP,
vol. 104, pp. 241–246, 2021, doi: 10.1016/j.procir.2021.11.041.'
mla: Menzefricke, Jörn Steffen, et al. “Maturity-Based Development of Strategic
Thrusts for Socio-Technical Risks.” Procedia CIRP, vol. 104, Elsevier BV,
2021, pp. 241–46, doi:10.1016/j.procir.2021.11.041.
short: J.S. Menzefricke, I. Wiederkehr, C. Koldewey, R. Dumitrescu, Procedia CIRP
104 (2021) 241–246.
date_created: 2023-01-18T13:29:31Z
date_updated: 2023-01-18T13:32:38Z
department:
- _id: '563'
doi: 10.1016/j.procir.2021.11.041
intvolume: ' 104'
keyword:
- General Medicine
language:
- iso: eng
page: 241-246
publication: Procedia CIRP
publication_identifier:
issn:
- 2212-8271
publication_status: published
publisher: Elsevier BV
status: public
title: Maturity-based Development of Strategic Thrusts for Socio-technical Risks
type: journal_article
user_id: '14931'
volume: 104
year: '2021'
...
---
_id: '32402'
author:
- first_name: Meret Amalia Elisabeth
full_name: Böttger, Meret Amalia Elisabeth
last_name: Böttger
citation:
ama: Böttger MAE. IND-CCA Secure PKE Schemes - Based on Lattices.; 2021.
apa: Böttger, M. A. E. (2021). IND-CCA Secure PKE Schemes - Based on Lattices.
bibtex: '@book{Böttger_2021, title={IND-CCA Secure PKE Schemes - Based on Lattices},
author={Böttger, Meret Amalia Elisabeth}, year={2021} }'
chicago: Böttger, Meret Amalia Elisabeth. IND-CCA Secure PKE Schemes - Based
on Lattices, 2021.
ieee: M. A. E. Böttger, IND-CCA Secure PKE Schemes - Based on Lattices. 2021.
mla: Böttger, Meret Amalia Elisabeth. IND-CCA Secure PKE Schemes - Based on Lattices.
2021.
short: M.A.E. Böttger, IND-CCA Secure PKE Schemes - Based on Lattices, 2021.
date_created: 2022-07-20T11:42:08Z
date_updated: 2023-01-23T13:03:05Z
department:
- _id: '64'
language:
- iso: eng
status: public
supervisor:
- first_name: Johannes
full_name: Blömer, Johannes
last_name: Blömer
title: IND-CCA Secure PKE Schemes - Based on Lattices
type: bachelorsthesis
user_id: '47434'
year: '2021'
...
---
_id: '29710'
author:
- first_name: Susanne
full_name: Podworny, Susanne
last_name: Podworny
- first_name: Lukas
full_name: Höper, Lukas
last_name: Höper
- first_name: Yannik
full_name: Fleischer, Yannik
last_name: Fleischer
- first_name: Sven
full_name: Hüsing, Sven
id: '58465'
last_name: Hüsing
- first_name: Carsten
full_name: Schulte, Carsten
last_name: Schulte
citation:
ama: Podworny S, Höper L, Fleischer Y, Hüsing S, Schulte C. Data Science ab Klasse
5–Konkrete Unterrichtsvorschläge für künstliche Intelligenz unplugged und Datenbewusstsein.
INFOS 2021–19 GI-Fachtagung Informatik und Schule. Published online 2021.
apa: Podworny, S., Höper, L., Fleischer, Y., Hüsing, S., & Schulte, C. (2021).
Data Science ab Klasse 5–Konkrete Unterrichtsvorschläge für künstliche Intelligenz
unplugged und Datenbewusstsein. INFOS 2021–19. GI-Fachtagung Informatik Und
Schule.
bibtex: '@article{Podworny_Höper_Fleischer_Hüsing_Schulte_2021, title={Data Science
ab Klasse 5–Konkrete Unterrichtsvorschläge für künstliche Intelligenz unplugged
und Datenbewusstsein}, journal={INFOS 2021–19. GI-Fachtagung Informatik und Schule},
publisher={Gesellschaft für Informatik, Bonn}, author={Podworny, Susanne and Höper,
Lukas and Fleischer, Yannik and Hüsing, Sven and Schulte, Carsten}, year={2021}
}'
chicago: Podworny, Susanne, Lukas Höper, Yannik Fleischer, Sven Hüsing, and Carsten
Schulte. “Data Science Ab Klasse 5–Konkrete Unterrichtsvorschläge Für Künstliche
Intelligenz Unplugged Und Datenbewusstsein.” INFOS 2021–19. GI-Fachtagung Informatik
Und Schule, 2021.
ieee: S. Podworny, L. Höper, Y. Fleischer, S. Hüsing, and C. Schulte, “Data Science
ab Klasse 5–Konkrete Unterrichtsvorschläge für künstliche Intelligenz unplugged
und Datenbewusstsein,” INFOS 2021–19. GI-Fachtagung Informatik und Schule,
2021.
mla: Podworny, Susanne, et al. “Data Science Ab Klasse 5–Konkrete Unterrichtsvorschläge
Für Künstliche Intelligenz Unplugged Und Datenbewusstsein.” INFOS 2021–19.
GI-Fachtagung Informatik Und Schule, Gesellschaft für Informatik, Bonn, 2021.
short: S. Podworny, L. Höper, Y. Fleischer, S. Hüsing, C. Schulte, INFOS 2021–19.
GI-Fachtagung Informatik Und Schule (2021).
date_created: 2022-01-31T14:08:16Z
date_updated: 2023-01-30T12:10:43Z
department:
- _id: '67'
language:
- iso: eng
publication: INFOS 2021–19. GI-Fachtagung Informatik und Schule
publisher: Gesellschaft für Informatik, Bonn
status: public
title: Data Science ab Klasse 5–Konkrete Unterrichtsvorschläge für künstliche Intelligenz
unplugged und Datenbewusstsein
type: journal_article
user_id: '58465'
year: '2021'
...
---
_id: '29712'
author:
- first_name: Lukas
full_name: Höper, Lukas
last_name: Höper
- first_name: Susanne
full_name: Podworny, Susanne
last_name: Podworny
- first_name: Sven
full_name: Hüsing, Sven
id: '58465'
last_name: Hüsing
- first_name: Carsten
full_name: Schulte, Carsten
last_name: Schulte
- first_name: Yannik
full_name: Fleischer, Yannik
last_name: Fleischer
- first_name: Rolf
full_name: Biehler, Rolf
last_name: Biehler
- first_name: Daniel
full_name: Frischemeier, Daniel
last_name: Frischemeier
- first_name: Hülya
full_name: Malatyali, Hülya
last_name: Malatyali
citation:
ama: Höper L, Podworny S, Hüsing S, et al. Zur neuen Bedeutung von Daten in Data
Science und künstlicher Intelligenz. INFOS 2021–19 GI-Fachtagung Informatik
und Schule. Published online 2021.
apa: Höper, L., Podworny, S., Hüsing, S., Schulte, C., Fleischer, Y., Biehler, R.,
Frischemeier, D., & Malatyali, H. (2021). Zur neuen Bedeutung von Daten in
Data Science und künstlicher Intelligenz. INFOS 2021–19. GI-Fachtagung Informatik
Und Schule.
bibtex: '@article{Höper_Podworny_Hüsing_Schulte_Fleischer_Biehler_Frischemeier_Malatyali_2021,
title={Zur neuen Bedeutung von Daten in Data Science und künstlicher Intelligenz},
journal={INFOS 2021–19. GI-Fachtagung Informatik und Schule}, publisher={Gesellschaft
für Informatik, Bonn}, author={Höper, Lukas and Podworny, Susanne and Hüsing,
Sven and Schulte, Carsten and Fleischer, Yannik and Biehler, Rolf and Frischemeier,
Daniel and Malatyali, Hülya}, year={2021} }'
chicago: Höper, Lukas, Susanne Podworny, Sven Hüsing, Carsten Schulte, Yannik Fleischer,
Rolf Biehler, Daniel Frischemeier, and Hülya Malatyali. “Zur Neuen Bedeutung von
Daten in Data Science Und Künstlicher Intelligenz.” INFOS 2021–19. GI-Fachtagung
Informatik Und Schule, 2021.
ieee: L. Höper et al., “Zur neuen Bedeutung von Daten in Data Science und
künstlicher Intelligenz,” INFOS 2021–19. GI-Fachtagung Informatik und Schule,
2021.
mla: Höper, Lukas, et al. “Zur Neuen Bedeutung von Daten in Data Science Und Künstlicher
Intelligenz.” INFOS 2021–19. GI-Fachtagung Informatik Und Schule, Gesellschaft
für Informatik, Bonn, 2021.
short: L. Höper, S. Podworny, S. Hüsing, C. Schulte, Y. Fleischer, R. Biehler, D.
Frischemeier, H. Malatyali, INFOS 2021–19. GI-Fachtagung Informatik Und Schule
(2021).
date_created: 2022-01-31T14:14:03Z
date_updated: 2023-01-30T12:10:23Z
department:
- _id: '67'
language:
- iso: eng
publication: INFOS 2021–19. GI-Fachtagung Informatik und Schule
publisher: Gesellschaft für Informatik, Bonn
status: public
title: Zur neuen Bedeutung von Daten in Data Science und künstlicher Intelligenz
type: journal_article
user_id: '58465'
year: '2021'
...
---
_id: '40512'
author:
- first_name: Sven
full_name: Hüsing, Sven
id: '58465'
last_name: Hüsing
- first_name: Niklas
full_name: Weiser, Niklas
last_name: Weiser
- first_name: Rolf
full_name: Biehler, Rolf
id: '16274'
last_name: Biehler
citation:
ama: 'Hüsing S, Weiser N, Biehler R. Faszination 3D-Film: Entwicklung einer 3D-Konstruktion.
mathematik lehren. 2021;2021(228):23–27.'
apa: 'Hüsing, S., Weiser, N., & Biehler, R. (2021). Faszination 3D-Film: Entwicklung
einer 3D-Konstruktion. Mathematik Lehren, 2021(228), 23–27.'
bibtex: '@article{Hüsing_Weiser_Biehler_2021, title={Faszination 3D-Film: Entwicklung
einer 3D-Konstruktion}, volume={2021}, number={228}, journal={mathematik lehren},
publisher={Friedrich Verlag}, author={Hüsing, Sven and Weiser, Niklas and Biehler,
Rolf}, year={2021}, pages={23–27} }'
chicago: 'Hüsing, Sven, Niklas Weiser, and Rolf Biehler. “Faszination 3D-Film: Entwicklung
Einer 3D-Konstruktion.” Mathematik Lehren 2021, no. 228 (2021): 23–27.'
ieee: 'S. Hüsing, N. Weiser, and R. Biehler, “Faszination 3D-Film: Entwicklung einer
3D-Konstruktion,” mathematik lehren, vol. 2021, no. 228, pp. 23–27, 2021.'
mla: 'Hüsing, Sven, et al. “Faszination 3D-Film: Entwicklung Einer 3D-Konstruktion.”
Mathematik Lehren, vol. 2021, no. 228, Friedrich Verlag, 2021, pp. 23–27.'
short: S. Hüsing, N. Weiser, R. Biehler, Mathematik Lehren 2021 (2021) 23–27.
date_created: 2023-01-27T12:35:37Z
date_updated: 2023-01-27T12:35:52Z
department:
- _id: '67'
intvolume: ' 2021'
issue: '228'
language:
- iso: eng
page: 23–27
publication: mathematik lehren
publisher: Friedrich Verlag
status: public
title: 'Faszination 3D-Film: Entwicklung einer 3D-Konstruktion'
type: journal_article
user_id: '58465'
volume: 2021
year: '2021'
...
---
_id: '29780'
abstract:
- lang: eng
text: A central tenet of theoretical cryptography is the study of the minimal
assumptions required to implement a given cryptographic primitive. One such primitive
is the one-time memory (OTM), introduced by Goldwasser, Kalai, and Rothblum [CRYPTO
2008], which is a classical functionality modeled after a non-interactive 1-out-of-2
oblivious transfer, and which is complete for one-time classical and quantum programs.
It is known that secure OTMs do not exist in the standard model in both the classical
and quantum settings. Here, we propose a scheme for using quantum information,
together with the assumption of stateless (i.e.,
reusable) hardware tokens, to build statistically secure OTMs. Via the semidefinite
programming-based quantum games framework of Gutoski and Watrous [STOC 2007],
we prove security for a malicious receiver making at most 0.114n
adaptive queries to the token (for n
the key size), in the quantum universal composability framework, but leave open
the question of security against a polynomial amount of queries. Compared to alternative
schemes derived from the literature on quantum money, our scheme is technologically
simple since it is of the "prepare-and-measure" type. We also give two impossibility
results showing certain assumptions in our scheme cannot be relaxed.
article_number: '429'
author:
- first_name: Anne
full_name: Broadbent, Anne
last_name: Broadbent
- first_name: Sevag
full_name: Gharibian, Sevag
id: '71541'
last_name: Gharibian
orcid: 0000-0002-9992-3379
- first_name: Hong-Sheng
full_name: Zhou, Hong-Sheng
last_name: Zhou
citation:
ama: Broadbent A, Gharibian S, Zhou H-S. Towards Quantum One-Time Memories from
Stateless Hardware. Quantum. 2021;5. doi:10.22331/q-2021-04-08-429
apa: Broadbent, A., Gharibian, S., & Zhou, H.-S. (2021). Towards Quantum One-Time
Memories from Stateless Hardware. Quantum, 5, Article 429. https://doi.org/10.22331/q-2021-04-08-429
bibtex: '@article{Broadbent_Gharibian_Zhou_2021, title={Towards Quantum One-Time
Memories from Stateless Hardware}, volume={5}, DOI={10.22331/q-2021-04-08-429},
number={429}, journal={Quantum}, publisher={Verein zur Forderung des Open Access
Publizierens in den Quantenwissenschaften}, author={Broadbent, Anne and Gharibian,
Sevag and Zhou, Hong-Sheng}, year={2021} }'
chicago: Broadbent, Anne, Sevag Gharibian, and Hong-Sheng Zhou. “Towards Quantum
One-Time Memories from Stateless Hardware.” Quantum 5 (2021). https://doi.org/10.22331/q-2021-04-08-429.
ieee: 'A. Broadbent, S. Gharibian, and H.-S. Zhou, “Towards Quantum One-Time Memories
from Stateless Hardware,” Quantum, vol. 5, Art. no. 429, 2021, doi: 10.22331/q-2021-04-08-429.'
mla: Broadbent, Anne, et al. “Towards Quantum One-Time Memories from Stateless Hardware.”
Quantum, vol. 5, 429, Verein zur Forderung des Open Access Publizierens
in den Quantenwissenschaften, 2021, doi:10.22331/q-2021-04-08-429.
short: A. Broadbent, S. Gharibian, H.-S. Zhou, Quantum 5 (2021).
date_created: 2022-02-08T10:59:00Z
date_updated: 2023-02-28T11:07:47Z
department:
- _id: '623'
- _id: '7'
doi: 10.22331/q-2021-04-08-429
intvolume: ' 5'
keyword:
- Physics and Astronomy (miscellaneous)
- Atomic and Molecular Physics
- and Optics
language:
- iso: eng
publication: Quantum
publication_identifier:
issn:
- 2521-327X
publication_status: published
publisher: Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften
status: public
title: Towards Quantum One-Time Memories from Stateless Hardware
type: journal_article
user_id: '71541'
volume: 5
year: '2021'
...
---
_id: '29138'
author:
- first_name: Qazi Arbab
full_name: Ahmed, Qazi Arbab
id: '72764'
last_name: Ahmed
orcid: 0000-0002-1837-2254
citation:
ama: 'Ahmed QA. Hardware Trojans in Reconfigurable Computing. In: 2021 IFIP/IEEE
29th International Conference on Very Large Scale Integration (VLSI-SoC).
; 2021. doi:10.1109/vlsi-soc53125.2021.9606974'
apa: Ahmed, Q. A. (2021). Hardware Trojans in Reconfigurable Computing. 2021
IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC).
https://doi.org/10.1109/vlsi-soc53125.2021.9606974
bibtex: '@inproceedings{Ahmed_2021, title={Hardware Trojans in Reconfigurable Computing},
DOI={10.1109/vlsi-soc53125.2021.9606974},
booktitle={2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration
(VLSI-SoC)}, author={Ahmed, Qazi Arbab}, year={2021} }'
chicago: Ahmed, Qazi Arbab. “Hardware Trojans in Reconfigurable Computing.” In 2021
IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC),
2021. https://doi.org/10.1109/vlsi-soc53125.2021.9606974.
ieee: 'Q. A. Ahmed, “Hardware Trojans in Reconfigurable Computing,” 2021, doi: 10.1109/vlsi-soc53125.2021.9606974.'
mla: Ahmed, Qazi Arbab. “Hardware Trojans in Reconfigurable Computing.” 2021
IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC),
2021, doi:10.1109/vlsi-soc53125.2021.9606974.
short: 'Q.A. Ahmed, in: 2021 IFIP/IEEE 29th International Conference on Very Large
Scale Integration (VLSI-SoC), 2021.'
date_created: 2021-12-30T00:02:24Z
date_updated: 2023-04-19T15:03:45Z
department:
- _id: '78'
doi: 10.1109/vlsi-soc53125.2021.9606974
language:
- iso: eng
project:
- _id: '3'
name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '12'
name: 'SFB 901 - B4: SFB 901 - Subproject B4'
- _id: '1'
name: 'SFB 901: SFB 901'
publication: 2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration
(VLSI-SoC)
publication_status: published
status: public
title: Hardware Trojans in Reconfigurable Computing
type: conference
user_id: '72764'
year: '2021'
...
---
_id: '44234'
author:
- first_name: Thilo Frederik
full_name: Berger, Thilo Frederik
last_name: Berger
citation:
ama: Berger TF. Combining Mobility, Heterogeneity, and Leasing Approaches for
Online Resource Allocation.; 2021.
apa: Berger, T. F. (2021). Combining Mobility, Heterogeneity, and Leasing Approaches
for Online Resource Allocation.
bibtex: '@book{Berger_2021, title={Combining Mobility, Heterogeneity, and Leasing
Approaches for Online Resource Allocation}, author={Berger, Thilo Frederik}, year={2021}
}'
chicago: Berger, Thilo Frederik. Combining Mobility, Heterogeneity, and Leasing
Approaches for Online Resource Allocation, 2021.
ieee: T. F. Berger, Combining Mobility, Heterogeneity, and Leasing Approaches
for Online Resource Allocation. 2021.
mla: Berger, Thilo Frederik. Combining Mobility, Heterogeneity, and Leasing Approaches
for Online Resource Allocation. 2021.
short: T.F. Berger, Combining Mobility, Heterogeneity, and Leasing Approaches for
Online Resource Allocation, 2021.
date_created: 2023-04-27T15:34:07Z
date_updated: 2023-04-27T15:34:17Z
department:
- _id: '63'
language:
- iso: eng
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '2'
name: 'SFB 901 - A: SFB 901 - Project Area A'
- _id: '5'
name: 'SFB 901 - A1: SFB 901 - Subproject A1'
status: public
supervisor:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
title: Combining Mobility, Heterogeneity, and Leasing Approaches for Online Resource
Allocation
type: bachelorsthesis
user_id: '39241'
year: '2021'
...
---
_id: '44233'
author:
- first_name: Sebastian
full_name: Pranger, Sebastian
last_name: Pranger
citation:
ama: Pranger S. Online K-Facility Reallocation Using k-Server Algorithms.;
2021.
apa: Pranger, S. (2021). Online k-Facility Reallocation using k-Server Algorithms.
bibtex: '@book{Pranger_2021, title={Online k-Facility Reallocation using k-Server
Algorithms}, author={Pranger, Sebastian}, year={2021} }'
chicago: Pranger, Sebastian. Online K-Facility Reallocation Using k-Server Algorithms,
2021.
ieee: S. Pranger, Online k-Facility Reallocation using k-Server Algorithms.
2021.
mla: Pranger, Sebastian. Online K-Facility Reallocation Using k-Server Algorithms.
2021.
short: S. Pranger, Online K-Facility Reallocation Using k-Server Algorithms, 2021.
date_created: 2023-04-27T15:31:26Z
date_updated: 2023-04-27T15:31:57Z
department:
- _id: '63'
language:
- iso: eng
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '2'
name: 'SFB 901 - A: SFB 901 - Project Area A'
- _id: '5'
name: 'SFB 901 - A1: SFB 901 - Subproject A1'
status: public
supervisor:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
title: Online k-Facility Reallocation using k-Server Algorithms
type: bachelorsthesis
user_id: '39241'
year: '2021'
...
---
_id: '20681'
abstract:
- lang: eng
text: The battle of developing hardware Trojans and corresponding countermeasures
has taken adversaries towards ingenious ways of compromising hardware designs
by circumventing even advanced testing and verification methods. Besides conventional
methods of inserting Trojans into a design by a malicious entity, the design flow
for field-programmable gate arrays (FPGAs) can also be surreptitiously compromised
to assist the attacker to perform a successful malfunctioning or information leakage
attack. The advanced stealthy malicious look-up-table (LUT) attack activates a
Trojan only when generating the FPGA bitstream and can thus not be detected by
register transfer and gate level testing and verification. However, also this
attack was recently revealed by a bitstream-level proof-carrying hardware (PCH)
approach. In this paper, we present a novel attack that leverages malicious routing
of the inserted Trojan circuit to acquire a dormant state even in the generated
and transmitted bitstream. The Trojan's payload is connected to primary inputs/outputs
of the FPGA via a programmable interconnect point (PIP). The Trojan is detached
from inputs/outputs during place-and-route and re-connected only when the FPGA
is being programmed, thus activating the Trojan circuit without any need for a
trigger logic. Since the Trojan is injected in a post-synthesis step and remains
unconnected in the bitstream, the presented attack can currently neither be prevented
by conventional testing and verification methods nor by recent bitstream-level
verification techniques.
author:
- first_name: Qazi Arbab
full_name: Ahmed, Qazi Arbab
id: '72764'
last_name: Ahmed
orcid: 0000-0002-1837-2254
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Ahmed QA, Wiersema T, Platzner M. Malicious Routing: Circumventing Bitstream-level
Verification for FPGAs. In: 2021 Design, Automation & Test in Europe Conference
& Exhibition (DATE). 2021 Design, Automation and Test in Europe Conference
(DATE); 2021. doi:10.23919/DATE51398.2021.9474026'
apa: 'Ahmed, Q. A., Wiersema, T., & Platzner, M. (2021). Malicious Routing:
Circumventing Bitstream-level Verification for FPGAs. 2021 Design, Automation
& Test in Europe Conference & Exhibition (DATE). Design, Automation
and Test in Europe Conference (DATE’21), Alpexpo | Grenoble, France. https://doi.org/10.23919/DATE51398.2021.9474026'
bibtex: '@inproceedings{Ahmed_Wiersema_Platzner_2021, place={Alpexpo | Grenoble,
France}, title={Malicious Routing: Circumventing Bitstream-level Verification
for FPGAs}, DOI={10.23919/DATE51398.2021.9474026},
booktitle={2021 Design, Automation & Test in Europe Conference & Exhibition
(DATE)}, publisher={2021 Design, Automation and Test in Europe Conference (DATE)},
author={Ahmed, Qazi Arbab and Wiersema, Tobias and Platzner, Marco}, year={2021}
}'
chicago: 'Ahmed, Qazi Arbab, Tobias Wiersema, and Marco Platzner. “Malicious Routing:
Circumventing Bitstream-Level Verification for FPGAs.” In 2021 Design, Automation
& Test in Europe Conference & Exhibition (DATE). Alpexpo | Grenoble,
France: 2021 Design, Automation and Test in Europe Conference (DATE), 2021. https://doi.org/10.23919/DATE51398.2021.9474026.'
ieee: 'Q. A. Ahmed, T. Wiersema, and M. Platzner, “Malicious Routing: Circumventing
Bitstream-level Verification for FPGAs,” presented at the Design, Automation and
Test in Europe Conference (DATE’21), Alpexpo | Grenoble, France, 2021, doi: 10.23919/DATE51398.2021.9474026.'
mla: 'Ahmed, Qazi Arbab, et al. “Malicious Routing: Circumventing Bitstream-Level
Verification for FPGAs.” 2021 Design, Automation & Test in Europe Conference
& Exhibition (DATE), 2021 Design, Automation and Test in Europe Conference
(DATE), 2021, doi:10.23919/DATE51398.2021.9474026.'
short: 'Q.A. Ahmed, T. Wiersema, M. Platzner, in: 2021 Design, Automation &
Test in Europe Conference & Exhibition (DATE), 2021 Design, Automation and
Test in Europe Conference (DATE), Alpexpo | Grenoble, France, 2021.'
conference:
end_date: 2021-02-05
location: Alpexpo | Grenoble, France
name: Design, Automation and Test in Europe Conference (DATE'21)
start_date: 2021-02-01
date_created: 2020-12-07T14:03:00Z
date_updated: 2023-05-11T09:16:34Z
ddc:
- '006'
department:
- _id: '78'
doi: 10.23919/DATE51398.2021.9474026
file:
- access_level: closed
content_type: application/pdf
creator: qazi
date_created: 2023-05-11T09:16:15Z
date_updated: 2023-05-11T09:16:15Z
file_id: '44752'
file_name: 1812.pdf
file_size: 394011
relation: main_file
success: 1
file_date_updated: 2023-05-11T09:16:15Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
oa: '1'
place: Alpexpo | Grenoble, France
project:
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '3'
name: SFB 901 - Project Area B
- _id: '1'
name: SFB 901
publication: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)
publication_identifier:
eisbn:
- 978-3-9819263-5-4
publication_status: published
publisher: 2021 Design, Automation and Test in Europe Conference (DATE)
status: public
title: 'Malicious Routing: Circumventing Bitstream-level Verification for FPGAs'
type: conference
user_id: '72764'
year: '2021'
...
---
_id: '45236'
author:
- first_name: N.
full_name: N., N.
last_name: N.
citation:
ama: N. N. Design and Implementation of a Crowd-Based Prototype Validation Platform.;
2021.
apa: N., N. (2021). Design and Implementation of a Crowd-based Prototype Validation
Platform.
bibtex: '@book{N._2021, title={Design and Implementation of a Crowd-based Prototype
Validation Platform}, author={N., N.}, year={2021} }'
chicago: N., N. Design and Implementation of a Crowd-Based Prototype Validation
Platform, 2021.
ieee: N. N., Design and Implementation of a Crowd-based Prototype Validation
Platform. 2021.
mla: N., N. Design and Implementation of a Crowd-Based Prototype Validation Platform.
2021.
short: N. N., Design and Implementation of a Crowd-Based Prototype Validation Platform,
2021.
date_created: 2023-05-23T13:09:53Z
date_updated: 2023-05-23T13:09:58Z
department:
- _id: '66'
language:
- iso: eng
project:
- _id: '4'
name: 'SFB 901 - C: SFB 901 - Project Area C'
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '17'
name: 'SFB 901 - C5: SFB 901 - Subproject C5'
status: public
supervisor:
- first_name: Enes
full_name: Yigitbas, Enes
id: '8447'
last_name: Yigitbas
orcid: 0000-0002-5967-833X
- first_name: Sebastian
full_name: Gottschalk, Sebastian
id: '47208'
last_name: Gottschalk
title: Design and Implementation of a Crowd-based Prototype Validation Platform
type: mastersthesis
user_id: '47208'
year: '2021'
...