31 – 40 of 1797
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Multi-Value Plaintext-Checking and Full-Decryption Oracle-Based Attacks on HQC from Offline Templates
- Contribution to journal › Article
-
Mark
Safe reinforcement learning on the constraint manifold : theory and applications
- Contribution to journal › Article
-
Mark
A critical look at the EU AI Act’s requirements and affected systems : who must explain what?
(2025) p.494-503
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
(2025) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer
- Contribution to journal › Article
-
Mark
Revisiting Leakage-Resilient MACs and Succinctly-Committing AEAD : More Applications of Pseudo-Random Injections
- Working paper/Preprint › Preprint in preprint archive
-
Mark
Binary Forward-Only Algorithms
- Contribution to journal › Article
-
Mark
Unified framework for entropy search and expected improvement in Bayesian optimization
(2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exploring exploration in Bayesian 0ptimization
(2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Understanding high-dimensional Bayesian optimization
(2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Leveraging axis-aligned subspaces for high-dimensional Bayesian optimization with group testing
(2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
