Swarn Priya

icon indicating a website link https://swarnpriya.github.io/

icon company @sifive @inria icon location Post-Doctoral Researcher at Virginia Tech | Ph.D. from Inria, Sophia Antipolis | Interests: PL, Model Checking, Theorem Provers

Results 4 issues of Swarn Priya

Support for typedef

5 comment

This is a **feature request** to support `typedef` in Jasmin. This will help the developers to create short aliases of long-type names which can be easily used throughout the program....

TODO

Compiler preserving constant-time property

3 comment

Hello. I am currently reading the book and enjoying every bit of it. Thank you for this work. I have some feedback regarding some topics. I work closely in the...

Section 3.6.1: Transient Execution. Add example related to Store-Bypass-Load (Spectre v4)

It would be nice to have a link to the names of Sectre Attacks. For example, in the case of branch prediction, a reference to Spectre v1 attacks. In the...

Trying to prove properties about eBPF programs (Clightgen issue)

7 comment

Hello, I am a new user and want to use VST to prove properties about eBPF programs (programs written in C that can be used to interact with Linux kernel...