Universal composability is robust compilation

M Patrignani, R Künnemann, RS Wahby - arXiv preprint arXiv:1910.08634, 2019 - arxiv.org
This paper discusses the relationship between two frameworks: universal composability
(UC) and robust compilation (RC). In cryptography, UC is a framework for the specification …

Android vault application behavior analysis and detection

N Xie, H Bai, R Sun, X Di - Data Science: 6th International Conference of …, 2020 - Springer
With the widespread application of Android smartphones, privacy protection plays a crucial
role. Android vault application provides content hiding on personal terminals to protect user …

[PDF][PDF] Academic Curriculum Vitae

SR Alker - 2009 - whitman.edu
Academic Curriculum Vitae Dr. Sharon-Ruth Alker Current Position 2020 to date Chair of
Division II: Humanities and Arts 2018 to Page 1 1 Academic Curriculum Vitae Dr. Sharon-Ruth …

[引用][C] Verified Translation of Symbolic Security Protocols to a Computational Model

PD Basin