---
_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'
...
---
_id: '45237'
author:
- first_name: N.
full_name: N., N.
last_name: N.
citation:
ama: N. N. Model-Based Continuous Experimentation for Software Product Prototypes.;
2021.
apa: N., N. (2021). Model-based Continuous Experimentation for Software Product
Prototypes.
bibtex: '@book{N._2021, title={Model-based Continuous Experimentation for Software
Product Prototypes}, author={N., N.}, year={2021} }'
chicago: N., N. Model-Based Continuous Experimentation for Software Product Prototypes,
2021.
ieee: N. N., Model-based Continuous Experimentation for Software Product Prototypes.
2021.
mla: N., N. Model-Based Continuous Experimentation for Software Product Prototypes.
2021.
short: N. N., Model-Based Continuous Experimentation for Software Product Prototypes,
2021.
date_created: 2023-05-23T13:10:52Z
date_updated: 2023-05-23T13:10:54Z
department:
- _id: '66'
language:
- iso: eng
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: Model-based Continuous Experimentation for Software Product Prototypes
type: mastersthesis
user_id: '47208'
year: '2021'
...
---
_id: '45239'
author:
- first_name: N.
full_name: N., N.
last_name: N.
citation:
ama: N. N. Lightweight Process Engine for Situation-Specific Development of Business
Models for Digital Platforms.; 2021.
apa: N., N. (2021). Lightweight Process Engine for Situation-specific Development
of Business Models for Digital Platforms.
bibtex: '@book{N._2021, title={Lightweight Process Engine for Situation-specific
Development of Business Models for Digital Platforms}, author={N., N.}, year={2021}
}'
chicago: N., N. Lightweight Process Engine for Situation-Specific Development
of Business Models for Digital Platforms, 2021.
ieee: N. N., Lightweight Process Engine for Situation-specific Development of
Business Models for Digital Platforms. 2021.
mla: N., N. Lightweight Process Engine for Situation-Specific Development of
Business Models for Digital Platforms. 2021.
short: N. N., Lightweight Process Engine for Situation-Specific Development of Business
Models for Digital Platforms, 2021.
date_created: 2023-05-23T13:12:55Z
date_updated: 2023-05-23T13:13:13Z
department:
- _id: '66'
language:
- iso: eng
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '4'
name: 'SFB 901 - C: SFB 901 - Project Area C'
- _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: Lightweight Process Engine for Situation-specific Development of Business Models
for Digital Platforms
type: mastersthesis
user_id: '47208'
year: '2021'
...
---
_id: '45240'
author:
- first_name: N.
full_name: N., N.
last_name: N.
citation:
ama: N. N. Development and Evaluation of a Multi Platform Approach for Augmented
Reality Product Configuration.; 2021.
apa: N., N. (2021). Development and Evaluation of a Multi Platform Approach for
Augmented Reality Product Configuration.
bibtex: '@book{N._2021, title={Development and Evaluation of a Multi Platform Approach
for Augmented Reality Product Configuration}, author={N., N.}, year={2021} }'
chicago: N., N. Development and Evaluation of a Multi Platform Approach for Augmented
Reality Product Configuration, 2021.
ieee: N. N., Development and Evaluation of a Multi Platform Approach for Augmented
Reality Product Configuration. 2021.
mla: N., N. Development and Evaluation of a Multi Platform Approach for Augmented
Reality Product Configuration. 2021.
short: N. N., Development and Evaluation of a Multi Platform Approach for Augmented
Reality Product Configuration, 2021.
date_created: 2023-05-23T13:14:14Z
date_updated: 2023-05-23T13:14:18Z
department:
- _id: '66'
language:
- iso: eng
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '4'
name: 'SFB 901 - C: SFB 901 - Project Area C'
- _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: Development and Evaluation of a Multi Platform Approach for Augmented Reality
Product Configuration
type: bachelorsthesis
user_id: '47208'
year: '2021'
...
---
_id: '45238'
author:
- first_name: N.
full_name: N., N.
last_name: N.
citation:
ama: N. N. Model-Based Feature Backlog Synchronization for Dual-Track Development
Methods.; 2021.
apa: N., N. (2021). Model-based Feature Backlog Synchronization for Dual-Track
Development Methods.
bibtex: '@book{N._2021, title={Model-based Feature Backlog Synchronization for Dual-Track
Development Methods}, author={N., N.}, year={2021} }'
chicago: N., N. Model-Based Feature Backlog Synchronization for Dual-Track Development
Methods, 2021.
ieee: N. N., Model-based Feature Backlog Synchronization for Dual-Track Development
Methods. 2021.
mla: N., N. Model-Based Feature Backlog Synchronization for Dual-Track Development
Methods. 2021.
short: N. N., Model-Based Feature Backlog Synchronization for Dual-Track Development
Methods, 2021.
date_created: 2023-05-23T13:11:44Z
date_updated: 2023-05-23T13:11:48Z
department:
- _id: '66'
language:
- iso: eng
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '4'
name: 'SFB 901 - C: SFB 901 - Project Area C'
- _id: '17'
name: 'SFB 901 - C5: SFB 901 - Subproject C5'
status: public
title: Model-based Feature Backlog Synchronization for Dual-Track Development Methods
type: mastersthesis
user_id: '47208'
year: '2021'
...
---
_id: '45254'
author:
- first_name: Anonymous
full_name: Anonymous, Anonymous
last_name: Anonymous
citation:
ama: Anonymous A. Device-Independent Security Proofs Via Entropy Accumulation.;
2021.
apa: Anonymous, A. (2021). Device-Independent Security Proofs Via Entropy Accumulation.
bibtex: '@book{Anonymous_2021, title={Device-Independent Security Proofs Via Entropy
Accumulation}, author={Anonymous, Anonymous}, year={2021} }'
chicago: Anonymous, Anonymous. Device-Independent Security Proofs Via Entropy
Accumulation, 2021.
ieee: A. Anonymous, Device-Independent Security Proofs Via Entropy Accumulation.
2021.
mla: Anonymous, Anonymous. Device-Independent Security Proofs Via Entropy Accumulation.
2021.
short: A. Anonymous, Device-Independent Security Proofs Via Entropy Accumulation,
2021.
date_created: 2023-05-24T09:57:18Z
date_updated: 2023-05-24T09:57:21Z
department:
- _id: '64'
language:
- iso: eng
status: public
supervisor:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
title: Device-Independent Security Proofs Via Entropy Accumulation
type: mastersthesis
user_id: '47434'
year: '2021'
...