71 – 80 of 1724
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Certified Core-Guided MaxSAT Solving
2023) Proceedings of the 29th International Conference on Automated Deduction, CADE-29 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14132 LNAI. p.1-22(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2022
-
Mark
Insights into automation of construction process using parallel-kinematic manipulators
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
SGX-Bundler: speeding up enclave transitions for IO-intensive applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Detection and mitigation of deception attacks on cloud-based industrial control systems
2022) 25th Conference on Innovation in Clouds, Internet and Networks(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An Auditable Constraint Programming Solver
2022) 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 In Leibniz International Proceedings in Informatics, LIPIcs 235.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Biocomputation Using Molecular Agents Moving in Microfluidic Channel Networks : An Alternative Platform for Information Technology
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Almost Alive : Robots and Androids
(
- Contribution to journal › Article
-
Mark
Code Red : The Business Impact of Code Quality - A Quantitative Study of 39 Proprietary Production Codebases
2022) 5th International Conference on Technical Debt, TechDebt 2022 In Proceedings - International Conference on Technical Debt 2022, TechDebt 2022 p.11-20(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Don’t Reject This: Key-Recovery Timing Attacks Due to Rejection-Sampling in HQC and BIKE
2022) In IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES) 2022(3). p.223-263(
- Contribution to journal › Article
-
Mark
A Key-Recovery Side-Channel Attack on Classic McEliece Implementations
2022) In IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES) 2022(4). p.800-827(
- Contribution to journal › Article