Annotating, tracking, and protecting cryptographic secrets with cryptompk

X Jin, X Xiao, S Jia, W Gao, D Gu… - … IEEE Symposium on …, 2022 - ieeexplore.ieee.org
Protecting confidential data against memory disclosure attacks is crucial to many critical
applications, especially those involve cryptographic operations. However, it is neither easy …

Representing Data Collections in an SSA Form

T McMichen, N Greiner, P Zhong… - 2024 IEEE/ACM …, 2024 - ieeexplore.ieee.org
Compiler research and development has treated computation as the primary driver of
performance improvements in C/C++ programs, leaving memory optimizations as a …

HACCLE: metaprogramming for secure multi-party computation

Y Bao, K Sundararajah, R Malik, Q Ye… - Proceedings of the 20th …, 2021 - dl.acm.org
Cryptographic techniques have the potential to enable distrusting parties to collaborate in
fundamentally new ways, but their practical implementation poses numerous challenges. An …

[PDF][PDF] HACCLE: An Ecosystem for Building Secure Multi-Party Computations

Y Bao, K Sundararajah, R Malik, Q Ye… - arXiv preprint arXiv …, 2020 - ask.qcloudimg.com
Cryptographic techniques have the potential to enable distrusting parties to collaborate in
fundamentally new ways, but their practical implementation poses numerous challenges. An …

HACCLE: Metaprogramming for Secure Multi-Party Computation--Extended Version

Y Bao, K Sundararajah, R Malik, Q Ye… - arXiv preprint arXiv …, 2020 - arxiv.org
Cryptographic techniques have the potential to enable distrusting parties to collaborate in
fundamentally new ways, but their practical implementation poses numerous challenges. An …

Metaprogramming Program Analyzers

G Wei - 2023 - search.proquest.com
Static program analyzers are vital tools to produce useful insights about programs without
executing these programs. These insights can be used to improve the quality of programs …

[PDF][PDF] Detecting Query Inefficiencies in Web Applications

C Wang - wcphkust.github.io
The emerging database-as-a service platforms and persistent data framework create the
convenience of deploying web applications than before. Developers can implement the …

Improving Performance of Data-Centric Systems Through Fine-Grained Code Generation

G Essertel - 2019 - search.proquest.com
The availability of modern hardware with large amounts of memory created a shift in the
development of data-centric software; from optimizing I/O operations to optimizing …

THE PURDUE UNIVERSITY GRADUATE SCHOOL STATEMENT OF DISSERTATION APPROVAL

Z Shen - 2020 - search.proquest.com
Although current augmented, virtual, and mixed reality (AR/VR/MR) systems are facing
advanced and immersive experience in the entertainment industry with countless media …