Search for persons
X
?
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
1
Bounded expectations: resource analysis for probabilistic p..:
, In:
?
2017 IEEE Symposium on Security and Privacy (SP) ,
2
Verifying and Synthesizing Constant-Resource Implementation..:
, In:
?
Financial Cryptography and Data Security; Lecture Notes in Computer Science ,
3
Practical Witness-Key-Agreement for Blockchain-Based Dark P..:
, In:
?
Security Protocols XXVII; Lecture Notes in Computer Science ,
4
Affordable Security or Big Guy vs Small Guy (Transcript of ..:
, In:
?
Security Protocols XXVII; Lecture Notes in Computer Science ,
5
Affordable Security or Big Guy vs Small Guy: Does the Depth..:
, In:
?
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) ,
6
Vision: What If They All Die? Crypto Requirements For Key P..:
, In:
?
Security Protocols XXVI; Lecture Notes in Computer Science ,
7
Non-monotonic Security Protocols and Failures in Financial ..:
, In:
?
Proceedings of the 6th International Conference on Ubiquitous Information Management and Communication ,
8
An open design privacy-enhancing platform supporting locati..:
, In:
?
Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems ,
9
Modular translation validation of a full-sized synchronous ..:
, In:
?
Proceedings of the 2020 Symposium on Emerging Research from Asia and on Asian Contexts and Cultures ,
10
CodeRhythm : A Tangible Programming Toolkit for Visually..:
, In:
?
Companion Publication of the 2020 ACM Designing Interactive Systems Conference ,
11
CodeRhythm : Designing Inclusive Tangible Programming Bl..:
, In:
?
The eighth International Workshop of Chinese CHI ,
12
CodeRhythm: A Tangible Programming Toolkit for Visually Imp..:
, In:
?
Human-Computer Interaction. Human Values and Quality of Life; Lecture Notes in Computer Science ,
13
Toward Inclusive Learning: Designing and Evaluating Tangibl..:
, In:
?
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) ,
14
Are You a Favorite Target For Cryptojacking? A Case-Control..:
, In:
?
Proceedings of the 2024 International Conference on Multimedia Retrieval ,
15