Search for persons
X
?
2022 IEEE Security and Privacy Workshops (SPW) ,
1
Research Report: Strengthening Weak Links in the PDF Trust ..:
, In:
?
2022 IEEE Security and Privacy Workshops (SPW) ,
2
Capturing the iccMAX calculatorElement: A Case Study on For..:
, In:
?
2022 IEEE 38th International Conference on Data Engineering (ICDE) ,
3
SPES: A Symbolic Approach to Proving Query Equivalence Unde..:
, In:
?
The Minerals, Metals & Materials Series; TMS 2021 150th Annual Meeting & Exhibition Supplemental Proceedings ,
4
Non-destructive Correlative 3D Characterization of Nuclear ..:
, In:
?
Proceedings of the 2021 International Conference on Management of Data ,
5
SIA : Optimizing Queries using Learned Predicates:
, In:
?
2020 IEEE Security and Privacy Workshops (SPW) ,
6
Research Report: ICARUS: Understanding De Facto Formats by ..:
, In:
?
Grasslands and Climate Change ,
7
Keeping up: climate-driven evolutionary change, dispersal, ..:
, In:
?
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering ,
9
FlexJava: language support for safe and modular approximate..:
, In:
?
Quantifying the Roman Economy ,
10
11 A Comment on Andrew Wilson: 'Approaches to Quantifying R..:
, In:
?
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security ,
13
Proving UNSAT in Zero Knowledge:
, In:
?
2020 IEEE IAS Electrical Safety Workshop (ESW) ,
14