2 citations · 2 across the 2 of their papers we have counts for
4 papers
On-the-fly Code Activation for Attack Surface Reduction
Chris Porter, Sharjeel Khan, Santosh Pande
Modern code reuse attacks are taking full advantage of bloated software. Attackers piece together short sequences of instructions in otherwise benign code to carry out malicious ac…
Compiler-Guided Throughput Scheduling for Many-core Machines
Girish Mururu, Sharjeel Khan, Bodhisatwa Chatterjee +4
Typical schedulers in multi-tenancy environments make use of reactive, feedback-oriented mechanisms based on performance counters to avoid resource contention but suffer from detec…
A Compiler Assisted Scheduler for Detecting and Mitigating Cache-Based Side Channel Attacks
Sharjeel Khan, Girish Mururu, Santosh Pande
Side channel attacks steal secret keys by cleverly leveraging information leakages and can, therefore, break encryption. Thus, detection and mitigation of side channel attacks is a…
Formalization of Automated Trading Systems in a Concurrent Linear Framework
Iliano Cervesato, Sharjeel Khan, Giselle Reis +1
We present a declarative and modular specification of an automated trading system (ATS) in the concurrent linear framework CLF. We implemented it in Celf, a CLF type checker which…