Submitted by Anonymous (not verified) on Mon, 02/27/2023 - 09:58
Title: “A New Approach for Simulating Randomness in Computation, and Resulting Directions of Research”
Abstract: Randomness is used throughout computer science, but when does it actually make computation more efficient? A central area in theoretical computer science studies the value of randomness for solving different types of computational problems, and the ways to simulate true randomness by deterministic algorithms.
Submitted by Anonymous (not verified) on Mon, 02/27/2023 - 09:58
Title: “Looking past the Abstractions: Characterizing Information Flow in Real-World Systems”
Abstract: Abstractions have proven essential for us to manage computing systems that are constantly growing in size and complexity. However, as core design primitives are obscured, these abstractions can engender new security challenges. My research investigates these abstractions and the underlying core functionalities to identify the implicit flow violations in modern computing systems.