Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ioana Boureanu
Practical and Provably Secure Distance-Bounding
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Short Paper: Making Contactless EMV Robust Against Rogue Readers Colluding With Relay Attackers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Treatment of Accountable Proxying Over TLS
Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols
Journal of Applied Non-Classical Logics
Philosophy
Logic
Secrecy for Bounded Security Protocols With Freshness Check Is NEXPTIME-complete*
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Related publications
The Forward Search for Very Large Datasets
Journal of Statistical Software
Uncertainty
Statistics
Probability
Software
R Graphics (3rd Edition)
Journal of Statistical Software
Uncertainty
Statistics
Probability
Software
Principal Curves on Riemannian Manifolds
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern Recognition
Applied Mathematics
Computer Vision
Mathematics
Computational Theory
Artificial Intelligence
Software
Learning Human Actions by Combining Global Dynamics and Local Appearance
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern Recognition
Applied Mathematics
Computer Vision
Mathematics
Computational Theory
Artificial Intelligence
Software
Multi-Directional Multi-Level Dual-Cross Patterns for Robust Face Recognition
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern Recognition
Applied Mathematics
Computer Vision
Mathematics
Computational Theory
Artificial Intelligence
Software
Feature Selection and Kernel Learning for Local Learning-Based Clustering
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern Recognition
Applied Mathematics
Computer Vision
Mathematics
Computational Theory
Artificial Intelligence
Software
Handling Movement Epenthesis and Hand Segmentation Ambiguities in Continuous Sign Language Recognition Using Nested Dynamic Programming
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern Recognition
Applied Mathematics
Computer Vision
Mathematics
Computational Theory
Artificial Intelligence
Software
Multiple Object Tracking Using K-Shortest Paths Optimization
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern Recognition
Applied Mathematics
Computer Vision
Mathematics
Computational Theory
Artificial Intelligence
Software
Robust Low-Rank Tensor Recovery With Rectification and Alignment
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern Recognition
Applied Mathematics
Computer Vision
Mathematics
Computational Theory
Artificial Intelligence
Software
Calibration by Correlation Using Metric Embedding From Nonmetric Similarities
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern Recognition
Applied Mathematics
Computer Vision
Mathematics
Computational Theory
Artificial Intelligence
Software
