Events

Due to their increasing complexity, autonomous decision-making agents rely on increasingly advanced algorithms, from classical control theory to reinforcement learning (RL) and, more recently, large vision-language models. While these algorithms help automate the decision-making in complex systems, they bring newer attack vulnerabilities that an adversary can exploit. In this dissertation, we study the security of […]

Graphics Processing Units (GPUs) have become essential platforms for parallel computing, supporting applications far beyond graphics. Central to GPU programming models is its memory consistency specification (MCS), which defines the semantics of concurrent shared-memory operations and interacts with other language features to determine security guarantees such as memory safety. Understanding whether implementations conform to an […]

While the human brain learns continually, mastering new tasks without forgetting the old and adapting to unfamiliar ones from context alone, modern neural networks still lack both. To bridge the […]