71 – 80 of 534
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Where are you bob? privacy-preserving proximity testing with a napping party
Oleynikov, Ivan ; Pagnin, Elena LU
and Sabelfeld, Andrei
(2020)
25th European Symposium on Research in Computer Security, ESORICS 2020
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
12308 LNCS.
p.677-697
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Secure generalized deduplication via multi-key revealing encryption
Lucani, Daniel E. ; Nielsen, Lars ; Orlandi, Claudio ; Pagnin, Elena LU
and Vestergaard, Rasmus
(2020)
12th International Conference on Security and Cryptography for Networks, SCN 2020
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
12238 LNCS.
p.298-318
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Watched Propagation of$$0$$ -$$1$$ Integer Linear Constraints
(2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12333 LNCS. p.160-176
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Resolution Proofs to Analyse CDCL Solvers
(2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.427-444
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models
(2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.917-934
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Accurate Optimization of Weighted Nuclear Norm for Non-Rigid Structure from Motion
(2020) 16th European Conference on Computer Vision, ECCV 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12372 LNCS. p.21-37
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using augmented reality to train flow patterns for pilot students - An explorative study
Alce, Günter LU ; Klang, Karl Johan ; Andersson, Daniel ; Nyström, Stefan LU ; Wallergård, Mattias LU and Niehorster, Diederick C. LU
(2020)
7th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2020
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
12242.
p.215-231
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
(2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.338-357
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
(2020) 32nd International Conference on Computer Aided Verification, CAV 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12224 LNCS. p.463-484
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A key-recovery timing attack on post-quantum primitives using the Fujisaki-Okamoto transformation and its application on FrodoKEM
Guo, Qian LU ; Johansson, Thomas LU
and Nilsson, Alexander
LU
(2020)
40th Annual International Cryptology Conference, CRYPTO 2020
In Lecture Notes in Computer Science
12171.
p.359-386
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding