default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIACR Transactions on Cryptographic Hardware and Embedded Systems, Volume 2025
Volume 2025, Number 1, 2025
- Najwa Aaraj, Abdelrahaman Aly
, Tim Güneysu, Chiara Marcolla, Johannes Mono, Rogerio Paludo, Iván Santos-González, Mireia Scholz, Eduardo Soria-Vazquez, Victor Sucasas, Ajith Suresh:
FANNG-MPC: Framework for Artificial Neural Networks and Generic MPC. 1-36 - Johann Knechtel, Mohammad Eslami, Peng Zou, Min Wei, Xingyu Tong, Binggang Qiu, Zhijie Cai, Guohao Chen, Benchao Zhu, Jiawei Li, Jun Yu, Jianli Chen, Chun-Wei Chiu, Min-Feng Hsieh, Chia-Hsiu Ou, Ting-Chi Wang, Bangqi Fu, Qijing Wang, Yang Sun, Qin Luo, Anthony W. H. Lau, Fangzhou Wang, Evangeline F. Y. Young, Shunyang Bi, Guangxin Guo, Haonan Wu, Zhengguang Tang, Hailong You, Cong Li, Ramesh Karri, Ozgur Sinanoglu, Samuel Pagliarini:
Trojan Insertion versus Layout Defenses for Modern ICs: Red-versus-Blue Teaming in a Competitive Community Effort. 37-77 - Ashley Kurian, Anuj Dubey, Ferhat Yaman, Aydin Aysu:
TPUXtract: An Exhaustive Hyperparameter Extraction Framework. 78-103 - John Gaspoz, Siemen Dhooghe:
Bit t-SNI Secure Multiplication Gadget for Inner Product Masking. 104-127 - Shipei Qu, Yuxuan Wang, Jintong Yu, Chi Zhang, Dawu Gu:
Trace Copilot: Automatically Locating Cryptographic Operations in Side-Channel Traces by Firmware Binary Instrumenting. 128-159 - Vincent Hwang, YoungBeom Kim, Seog Chung Seo:
Multiplying Polynomials without Powerful Multiplication Instructions. 160-202 - Yi Ouyang, Yihong Zhu, Wenping Zhu, Bohan Yang, Zirui Zhang, Hanning Wang, Qichao Tao, Min Zhu, Shaojun Wei, Leibo Liu:
FalconSign: An Efficient and High-Throughput Hardware Architecture for Falcon Signature Generation. 203-226 - Téo Biton, Olivier Gilles, Daniel Gracia Pérez, Nikolai Kosmatov, Sébastien Pillement:
Call Rewinding: Efficient Backward Edge Protection. 227-250 - Haiyue Dong, Qian Guo:
OT-PCA: New Key-Recovery Plaintext-Checking Oracle Based Side-Channel Attacks on HQC with Offline Templates. 251-274 - Xiangren Chen, Bohan Yang, Wenping Zhu, Hanning Wang, Qichao Tao, Shuying Yin, Min Zhu, Shaojun Wei, Leibo Liu:
A High-performance NTT/MSM Accelerator for Zero-knowledge Proof Using Load-balanced Fully-pipelined Montgomery Multiplier. 275-313 - Yu Xiao, Feng-Hao Liu, Yu-Te Ku, Ming-Chien Ho, Chih-Fan Hsu, Ming-Ching Chang, Shih-Hao Hung, Wei-Chao Chen:
GPU Acceleration for FHEW/TFHE Bootstrapping. 314-339 - Lixuan Wu, Yanhong Fan, Weijia Wang, Bart Preneel, Meiqin Wang:
Extending Randomness-Free First-Order Masking Schemes and Applications to Masking-Friendly S-boxes. 340-366 - Vlad-Florin Dragoi, Brice Colombier, Nicolas Vallet, Pierre-Louis Cayrel, Vincent Grosso:
Full Key-Recovery Cubic-Time Template Attack on Classic McEliece Decapsulation. 367-391 - Pierre Ayoub, Aurélien Hernandez, Romain Cayre, Aurélien Francillon, Clémentine Maurice:
PhaseSCA: Exploiting Phase-Modulated Emanations in Side Channels. 392-419 - Jonas Sander, Sebastian Berndt, Ida Bruhns, Thomas Eisenbarth:
Dash: Accelerating Distributed Private Convolutional Neural Network Inference with Arithmetic Garbled Circuits. 420-449 - Akira Ito, Rei Ueno, Naofumi Homma:
Perceived Information Revisited II Information-Theoretical Analysis of Deep-Learning Based Side-Channel Attacks. 450-474 - Xunyue Hu, Quentin L. Meunier, Emmanuelle Encrenaz:
Blind-Folded: Simple Power Analysis Attacks using Data with a Single Trace and no Training. 475-496 - Marius A. Aardal, Gora Adj, Arwa Alblooshi, Diego F. Aranha, Isaac Andrés Canales Martinez, Jorge Chávez-Saab, Décio Luiz Gazzoni Filho, Krijn Reijnders, Francisco Rodríguez-Henríquez:
Optimized One-Dimensional SQIsign Verification on Intel and Cortex-M4. 497-522 - Bohan Wang, Fanjie Ji, Yiteng Sun, Weijia Wang:
Random Probing Security with Precomputation. 523-551 - Feng Zhou, Hua Chen, Limin Fan:
Prover - Toward More Efficient Formal Verification of Masking in Probing Model. 552-585 - Yongjin Jeon, Seungjun Baek, Giyoon Kim, Jongsung Kim:
A Framework for Generating S-Box Circuits with Boyar-Peralta Algorithm-Based Heuristics, and Its Applications to AES, SNOW3G, and Saturnin. 586-631 - Jipeng Zhang, Yuxing Yan, Junhao Huang, Çetin Kaya Koç:
Optimized Software Implementation of Keccak, Kyber, and Dilithium on RV{32,64}IM{B}{V}. 632-655 - Vedad Hadzic, Roderick Bloem:
Efficient and Composable Masked AES S-Box Designs Using Optimized Inverters. 656-683
Volume 2025, Number 2, 2025
- Guowei Liu, Guoxiao Liu, Kaijie Jiang, Qingyuan Yu, Keting Jia, Puwen Wei, Meiqin Wang:
Improving MPCitH with Preprocessing: Mask Is All You Need. 1-22 - Fan Huang, Xiaolin Duan, Chengcong Hu, Mengce Zheng, Honggang Hu:
MulLeak: Exploiting Multiply Instruction Leakage to Attack the Stack-optimized Kyber Implementation on Cortex-M4. 23-68 - Jinling Tang, Haixia Xu, Huimei Liao, Yinchang Zhou:
SeaFlame: Communication-Efficient Secure Aggregation for Federated Learning against Malicious Entities. 69-93 - Marcus Brinkmann, Chitchanok Chuengsatiansup, Alexander May, Julian Nowakowski, Yuval Yarom:
Leaky McEliece: Secret Key Recovery From Highly Erroneous Side-Channel Information. 94-125 - Loris Bergerat, Ilaria Chillotti, Damien Ligier, Jean-Baptiste Orfila, Samuel Tap:
TFHE Gets Real: an Efficient and Flexible Homomorphic Floating-Point Arithmetic. 126-162 - Aikata, Ahmet Can Mert, Sunmin Kwon, Maxim Deryabin, Sujoy Sinha Roy:
REED: Chiplet-based Accelerator for Fully Homomorphic Encryption. 163-208 - Daniel J. Bernstein, Karthikeyan Bhargavan, Shivam Bhasin, Anupam Chattopadhyay, Tee Kiah Chia, Matthias J. Kannwischer, Franziskus Kiefer, Thales B. Paiva, Prasanna Ravi, Goutam Tamvada:
KyberSlash: Exploiting secret-dependent division timings in Kyber implementations. 209-234 - Dilip Kumar S. V., Siemen Dhooghe, Josep Balasch, Benedikt Gierlichs, Ingrid Verbauwhede:
Higher-Order Time Sharing Masking. 235-267 - Jennifer Jackson, Minmin Jiang, David F. Oswald:
CHERI-Crypt: Transparent Memory Encryption on Capability Architectures. 268-292 - Qi Tian, Hao Cheng, Chun Guo, Daniel Page, Meiqin Wang, Weijia Wang:
A Code-Based ISE to Protect Boolean Masking in Software. 293-332 - Junfan Zhu, Jiqiang Lu:
Leading Degree: A Metric for Model Performance Evaluation and Hyperparameter Tuning in Deep Learning-Based Side-Channel Analysis. 333-361 - Ziyu Zhao, Jintai Ding, Bo-Yin Yang:
Sieving with Streaming Memory Access. 362-384 - Weizhe Wang, Pierrick Méaux, Deng Tang:
Shortcut2Secrets: A Table-based Differential Fault Attack Framework. 385-419 - Sebastian Faust, Maximilian Orlt, Kathrin Wirschem, Liang Zhao:
All-You-Can-Compute: Packed Secret Sharing for Combined Resilience. 420-459 - Holger Mandry, Jonas Ruchti, Julius Nowakowski, Michael Pehl, Maurits Ortmanns:
Protection of Oscillator-Based PUFs against Side Channel Analyses by Random Interruption. 460-488 - Xander Pottier, Thomas de Ruijter, Jonas Bertels, Wouter Legiest, Michiel Van Beirendonck, Ingrid Verbauwhede:
OPTIMSM: FPGA hardware accelerator for Zero-Knowledge MSM. 489-510 - Ottó Hanyecz, Alexander Karenin, Elena Kirshanova, Péter Kutas, Sina Schaeffler:
Constant time lattice reduction in dimension 4 with application to SQIsign. 511-534 - Daphné Trama, Aymen Boudguiga, Pierre-Emmanuel Clet, Renaud Sirdey, Nicolas Ye:
Designing a General-Purpose 8-bit (T)FHE Processor Abstraction. 535-578 - Aric Fowler, Mohammed Shayan, Mustafa M. Shihab, Thomas Broadfoot, Peter Beerel, Carl Sechen, Yiorgos Makris:
A TRAP for SAT: On the Imperviousness of a Transistor-Level Programmable Fabric to Satisfiability-Based Attacks. 579-603 - Georg Maringer, Matthias Hiller:
Information Theoretic Analysis of PUF-Based Tamper Protection. 604-646 - Suparna Kundu, Archisman Ghosh, Angshuman Karmakar, Shreyas Sen, Ingrid Verbauwhede:
Rudraksh: A compact and lightweight post-quantum key-encapsulation mechanism. 647-680 - Rui Jiang, Cong Peng, Min Luo, Rongmao Chen, Debiao He:
SimdMSM: SIMD-accelerated Multi-Scalar Multiplication Framework for zkSNARKs. 681-704 - Subhadeep Banik, Andrea Caforio, Tatsuya Ishikawa, Takanori Isobe, Mostafizar Rahman, Kosei Sakamoto:
AETHER: An Ultra-High Throughput and Low Energy Authenticated Encryption Scheme. 705-742 - Clémence Bouvier, Lorenzo Grassi, Dmitry Khovratovich, Katharina Koschatko, Christian Rechberger, Fabian Schmid, Markus Schofnegger:
Skyscraper: Fast Hashing on Big Primes. 743-780 - Kyungbae Jang, Vikas Srivastava, Anubhab Baksi, Santanu Sarkar, Hwajeong Seo:
New Quantum Cryptanalysis of Binary Elliptic Curves. 781-804
Volume 2025, Number 3, 2025
- Fabian Schwarz, Jan Philipp Thoma, Christian Rossow, Tim Güneysu:
KeyVisor - A Lightweight ISA Extension for Protected Key Handles with CPU-enforced Usage Policies. 1-31 - Julien Béguinot, Loïc Masure:
On the Average Random Probing Model. 32-55 - Nathan Rousselot, Karine Heydemann, Loïc Masure, Vincent Migairou:
Scoop: An Optimization Algorithm for Profiling Attacks against Higher-Order Masking. 56-80 - Shiyu Shen, Hao Yang, Zhe Liu, Ying Liu, Xianhui Lu, Wangchen Dai, Lu Zhou, Yunlei Zhao, Ray C. C. Cheung:
VeloFHE: GPU Acceleration for FHEW and TFHE Bootstrapping. 81-114 - Sérgio Pereira, Tiago Gomes, Jorge Cabral, Sandro Pinto:
TREE: Bridging the gap between reconfigurable computing and secure execution. 115-138 - Thales B. Paiva, Marcos A. Simplício Jr., Syed Mahbub Hafiz, Bahattin Yildiz, Eduardo Lopes Cominetti, Henrique S. Ogawa:
Tailorable codes for lattice-based KEMs with applications to compact ML-KEM instantiations. 139-163 - Sana Boussam, Mathieu Carbone, Benoît Gérard, Guénaël Renault, Gabriel Zaid:
Optimal Dimensionality Reduction using Conditional Variational AutoEncoder. 164-211 - John Gaspoz, Siemen Dhooghe:
Code-based Masking: From Fields to Bits Bitsliced Higher-Order Masked SKINNY. 212-237 - Ziheng Ma, Bohan Yang, Wenping Zhu, Hanning Wang, Yi Ouyang, Min Zhu, Leibo Liu:
On the Characterization of Phase Noise for the Robust and Resilient PLL-TRNG Design. 238-261 - Xiaolin Li, Wei Yan, Hongwei Liu, Yong Zhang, Qinfen Hao, Yong Liu, Ninghui Sun:
POTA: A Pipelined Oblivious Transfer Acceleration Architecture for Secure Multi-Party Computation. 262-292 - Jonas Bertels, Hilder V. L. Pereira, Ingrid Verbauwhede:
FINAL bootstrap acceleration on FPGA using DSP-free constant-multiplier NTTs. 293-316 - Rei Ueno, Akira Ito, Yosuke Todo, Akiko Inoue, Kazuhiko Minematsu, Hibiki Ishikawa, Naofumi Homma:
All You Need is XOR-Convolution: A Generalized Higher-Order Side-Channel Attack with Application to XEX/XE-based Encryptions. 317-360 - Konstantina Miteloudi, Lejla Batina, Nele Mentens:
A5/3 make or break: A massively parallel FPGA architecture for exhaustive key search. 361-388 - Davide Galli, Giuseppe Chiari, Davide Zoni:
Chameleon: A Dataset for Segmenting and Attacking Obfuscated Power Traces in Side-Channel Analysis. 389-412 - Ziying Ni, Ayesha Khalid, Zhaoyu Zhang, Yijun Cui, Weiqiang Liu, Máire O'Neill:
HRaccoon: A High-performance Configurable SCA Resilient Raccoon Hardware Accelerator. 413-436 - Alexandre Adomnicai, Wonseok Choi, Yeongmin Lee, Kazuhiko Minematsu, Yusuke Naito:
Cymric: Short-tailed but Mighty Beyond-birthday-bound Secure Authenticated Encryption for Short Inputs. 437-469 - Eric Chun-Yu Peng, Markus G. Kuhn:
Adaptive Template Attacks on the Kyber Binomial Sampler. 470-492 - Muhammad ElSheikh, Irem Keskinkurt Paksoy, Murat Cenk, M. Anwar Hasan:
Accelerating EdDSA Signature Verification with Faster Scalar Size Halving. 493-515 - Fabio Campos, Andreas Hellenbrand, Michael Meyer, Krijn Reijnders:
dCTIDH: Fast & Deterministic CTIDH. 516-541 - Sergej Meschkov, Daniel Lammers, Mehdi B. Tahoori, Amir Moradi:
Design and Implementation of a Physically Secure Open-Source FPGA and Toolchain. 542-582 - Chao Niu, Benqiang Wei, Zhicong Huang, Zhaomin Yang, Cheng Hong, Meiqin Wang, Tao Wei:
SoK: FHE-Friendly Symmetric Ciphers and Transciphering. 583-613 - Anup Kumar Kundu, Shibam Ghosh, Aikata, Dhiman Saha:
ToFA: Towards Fault Analysis of GIFT and GIFT-like Ciphers Leveraging Truncated Impossible Differentials. 614-643 - Santiago Arranz-Olmos, Gilles Barthe, Benjamin Grégoire, Jan Jancar, Vincent Laporte, Tiago Oliveira, Peter Schwabe:
Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code. 644-667 - Chun-Ming Chiu, Jiaxiang Liu, Ming-Hsien Tsai, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang:
Algebraic Linear Analysis for Number Theoretic Transform in Lattice-Based Cryptography. 668-692 - Xue Gong, Xin Zhang, Qianmei Wu, Fan Zhang, Junge Xu, Qingni Shen, Zhi Zhang:
Practical Opcode-based Fault Attack on AES-NI. 693-716 - Charles Momin, François-Xavier Standaert, Corentin Verhamme:
Primitive-Level vs. Implementation-Level DPA Security: a Certified Case Study (Pleading for Standardized Leakage-Resilient Cryptography). 717-744 - Diego F. Aranha, Antonio Guimarães, Clément Hoffmann, Pierrick Méaux:
Secure and efficient transciphering for FHE-based MPC. 745-780 - Aritra Dasgupta, Sudipta Paria, Swarup Bhunia:
HIPR: Hardware IP Protection through Low-Overhead Fine-Grain Redaction. 781-805
Volume 2025, Number 4, 2025
- Fabian Buschkowski, Georg Land, Niklas Höher, Jan Richter-Brockmann, Pascal Sasdrich, Tim Güneysu:
HADES: Automated Hardware Design Exploration for Cryptographic Primitives. 1-45 - Sven Argo, Marloes Venema, Adrian Ackermann, Tim Güneysu:
pracy: A Practical Compiler for Attribute-Based Encryption in Python. 46-91 - Chaoran Wang, Meiqin Wang, Guowei Liu, Lixuan Wu, Yanhong Fan:
Pushing The Area Limit of Composable Gadgets Low-Area Hardware Masked Circuits with Fewer Sources of Randomness. 92-117 - Chao Niu, Zhicong Huang, Zhaomin Yang, Yi Chen, Liang Kong, Cheng Hong, Tao Wei:
XBOOT: Free-XOR Gates for CKKS with Applications to Transciphering. 118-144 - Yifan Dang, Milos Grujic, Bohan Yang, Wenping Zhu, Hanning Wang, Min Zhu, Ingrid Verbauwhede, Leibo Liu:
Entropy extractor based high-throughput post-processings for True Random Number Generators. 145-171 - Daniel Lammers, Nicolai Müller, Siemen Dhooghe, Amir Moradi:
Constant-Cycle Hardware Private Circuits. 172-214 - Felix Uhle, Nicolai Müller, Amir Moradi:
Fault Injection Evaluation with Statistical Analysis How to Deal with Nearly Fabricated Large Circuits. 215-253 - Haiyue Dong, Qian Guo:
Multi-Value Plaintext-Checking and Full-Decryption Oracle-Based Attacks on HQC from Offline Templates. 254-289 - Vojtech Suchanek, Jan Jancar, Jan Kvapil, Petr Svenda, Lukasz Chmielewski:
ECTester: Reverse-engineering side-channel countermeasures of ECC implementations. 290-316 - Francesco Restuccia, Zhenghua Ma, Joseph Zuckerman, Andres Meza, Biruk B. Seyoum, Luca P. Carloni, Ryan Kastner:
BASTION: A Framework for Secure Third-Party IP Integration in NoC-based SoC Platforms. 317-340 - Florian Hirner, Florian Krieger, Constantin Piber, Sujoy Sinha Roy:
Accelerating Hash-Based Polynomial Commitment Schemes with Linear Prover Time. 341-385 - Luke Beckwith, Andre Esser, Edoardo Persichetti, Paolo Santini, Floyd Zweydinger:
LESS is Even More: Optimizing Digital Signatures from Code Equivalence. 386-408 - Pierre-Alain Fouque, Damien Marion, Quyen Nguyen, Alexandre Wallet:
Avengers assemble! Supervised learning meets lattice reduction A single power trace attack against CRYSTALS-Kyber Key Generation. 409-436 - Seong-Min Cho, Changyeol Lee, Seung-Hyun Seo:
Quantum security analysis of Module-LWE PQC based on practical cost estimates. 437-462 - Zhiwei Li, Jun Xu, Jun Song, Haomeng Xu, Yan Jia, Yanli Zou, Lei Hu:
Improved Attacks Against Lattice-Based KEMs Using Hints From Hertzbleed. 463-485 - Brieuc Balon, Lorenzo Grassi, Pierrick Méaux, Thorben Moos, François-Xavier Standaert, Matthias Johann Steiner:
mid-pSquare: Leveraging the Strong Side-Channel Security of Prime-Field Masking in Software. 486-519 - Thales B. Paiva, Gabrielle De Micheli, Syed Mahbub Hafiz, Marcos A. Simplício Jr., Bahattin Yildiz:
Faster amortized bootstrapping using the incomplete NTT for free. 520-543 - Sven Argo, Marloes Venema, Doreen Riepel, Tim Güneysu, Diego F. Aranha:
ABE Cubed: Advanced Benchmarking Extensions for ABE Squared. 544-587 - Félix Carvalho Rodrigues, Décio Luiz Gazzoni Filho, Gora Adj, Isaac Andrés Canales Martinez, Jorge Chávez-Saab, Julio López, Michael Scott, Francisco Rodríguez-Henríquez:
Generation of Fast Finite Field Arithmetic forCortex-M4 with ECDH and SQIsign Applications. 588-620 - Sergiu Carpov:
A Fast Heuristic for Mapping Boolean Circuits to Functional Bootstrapping. 621-643 - Jesús-Javier Chi-Domínguez, Eduardo Ochoa-Jiménez, Ricardo Neftali Pontaza Rodas:
Let us walk on the 3-isogeny graph: efficient, fast, and simple. 644-666 - Thibauld Feneuil, Matthieu Rivain, Auguste Warmé-Janville:
Masking-Friendly Post-Quantum Signatures in the Threshold-Computation-in-the-Head Framework. 667-710 - Tiago B. Rodrigues, Alexandre Rodrigues, Manuel Goulão, Pedro Tomás, Leonel Sousa:
Accelerating NTT with RISC-V Vector Extension for Fully Homomorphic Encryption. 711-736 - Han Xia, Mingsheng Wang:
Efficient and Compact Full-Domain Functional Bootstrapping via Subring Folding. 737-762 - Johannes Mono, Tim Güneysu:
A New Perspective on Key Switching for BGV-like Schemes. 763-794 - Chun-Ming Chiu, Bo-Yin Yang, Bow-Yaw Wang:
A New Trick for Polynomial Multiplication A verified CRT polymul utilizing a monomial factor. 795-816 - Yuanyuan Zhou, Weijia Wang, Yiteng Sun, Yu Yu:
Rejected Signatures' Challenges Pose New Challenges: Key Recovery of CRYSTALS-Dilithium via Side-Channel Attacks. 817-847 - Hao Cheng, Georgios Fotiadis, Johann Großschädl, Daniel Page:
Fast AVX-512 Implementation of the Optimal Ate Pairing on BLS12-381. 848-872 - Jaehyung Kim:
Efficient Homomorphic Integer Computer from CKKS. 873-898 - Saltanat Firdous Allaqband, Asutosh Brahma, Sai Venkata Krishnan V, Arjun Menon, Chester Rebeiro:
TESLA: Trusted Execution Support for Legacy Embedded Applications. 899-924 - Loris Bergerat, Charlotte Bonte, Benjamin R. Curtis, Jean-Baptiste Orfila, Pascal Paillier, Samuel Tap:
Sharing the Mask: TFHE Bootstrapping on Packed Messages. 925-971 - Vahid Jahandideh, Bart Mennink, Lejla Batina:
Probing Secure Composability Without Fresh Randomness: Theory and Application to Ascon. 972-1009 - Kevin Schneider, Lukas Auer, Alexander Wagner:
Fault Attacks on ECC Signature Verification. 1010-1052 - Omar Jarkas, Ryan K. L. Ko, Naipeng Dong, Md. Redowan Mahmud:
VIMA: A Privacy-Preserving Integrity Measurement Architecture for Containerized Environments. 1053-1076 - Cheng Chen, Gangqiang Yang, Hongchao Zhou, Hailiang Xiong, Xianye Ben, Zhiguo Wan:
FusionMSM: A Collision-Free and Arithmetic-Optimized FPGA-based Accelerator for Multi-Scalar Multiplication. 1077-1101
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-26 23:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
