Meta tags:
description=I develop programming languages, verified compilers, and formal analyses for secure systems—from high-assurance cryptography and Linux eBPF to capability architectures and trustworthy AI systems.;

Headings (most frequently used words):

beepl, correct, by, compilation, kernel, extensions, against, about, me, publications, updates, contact, formally, computer, verified, protections, timing, based, side, channel, attacks, typing, high, speed, cryptography, spectre, v1,

Text of the page (most frequently used words):
and (18), research (14), the (13), swarn (9), priya (9), #formal (7), methods (7), security (7), paper (6), 2025 (6), computer (6), systems (6), with (5), 2023 (5), science (5), washington (5), beepl (4), compilation (4), secure (4), publications (4), google (3), received (3), award (3), for (3), correct (3), kernel (3), extensions (3), against (3), formally (3), verified (3), electrical (3), engineering (3), state (3), university (3), about (3), programming (3), machine (3), checked (3), guarantees (3), software (3), assistant (3), linkedin (2), scholar (2), github (2), ieee (2), distinguished (2), invited (2), presented (2), meeting (2), france (2), news (2), benjamin (2), grégoire (2), inria (2), université (2), côte (2), azur (2), timing (2), based (2), side (2), channel (2), attacks (2), tim (2), steenvoorden (2), connor (2), sughrue (2), frédéric (2), besson (2), freek (2), verbeek (2), school (2), compiler (2), that (2), correctness (2), professor (2), static (2), analysis (2), languages (2), using (2), rocq (2), 2026, built, astro, unesco, oréal, young, talent, women, serve, panel, paris, darpa, 2024, attended, nsf, fmitf, iowa, directions, present, summit, held, updates, recent, symposium, privacy, alphabetical, authorship, basavesh, shivakumar, gilles, barthe, vincent, laporte, tiago, oliveira, peter, schwabe, lucas, tabary, maujean, typing, high, speed, cryptography, spectre, thesis, protections, workshop, principles, prisc, arxiv, jamie, fulford, binoy, ravindran, all, selected, work, open, collaborations, conversations, students, interested, dot, wsu, edu, email, pullman, contact, read, more, before, was, postdoctoral, associate, within, bradley, department, virginia, tech, during, this, time, led, development, language, ebpf, aims, provide, safety, from, where, worked, member, teams, focused, applying, emphasis, designing, provides, splits, stamp, yves, bertot, sophia, antipolis, group, overview, interests, span, application, across, diverse, areas, develop, proofs, formerly, coq, proof, establish, strong, broader, goal, building, trustworthy, computing, much, carried, out, service, teaching, menu,

Text of the page (random words):
swarn priya formal methods secure systems swarn priya research assistant professor washington state university menu about research publications teaching service news formal methods static analysis programming languages systems security my research interests span formal methods static analysis programming languages software security and the application of formal methods across diverse areas of computer science i develop machine checked proofs using the rocq formerly coq proof assistant to establish strong correctness and security guarantees with the broader goal of building trustworthy computing systems much of my research is carried out using rocq research publications overview about me i am research assistant professor in the school of electrical engineering and computer science at washington state university before i was a postdoctoral research associate in the systems software research group within the bradley department of electrical and computer engineering at virginia tech during this time i led the development of beepl a formally verified programming language and compiler for ebpf that aims to provide machine checked guarantees of safety correctness and security for systems software i received my ph d from inria sophia antipolis and université côte d azur france where i worked with yves bertot and benjamin grégoire as a member of the stamp and splits research teams my ph d research focused on applying formal methods to computer security with an emphasis on designing a formally verified secure compiler that provides machine checked guarantees against timing based side channel attacks read more about my research contact school of electrical engineering and computer science washington state university pullman washington email swarn dot priya at wsu edu google scholar github linkedin open to research collaborations and conversations with students interested in formal methods and secure systems selected work publications all publications 2025 beepl correct by compilation kernel extensions swarn priya frédéric besson connor sughrue tim steenvoorden jamie fulford freek verbeek and binoy ravindran arxiv paper 2025 beepl correct by compilation kernel extensions swarn priya tim steenvoorden connor sughrue frédéric besson and freek verbeek workshop on principles of secure compilation prisc paper 2023 formally computer verified protections against timing based side channel attacks swarn priya ph d thesis inria and université côte d azur paper 2023 typing high speed cryptography against spectre v1 basavesh a shivakumar gilles barthe benjamin grégoire vincent laporte tiago oliveira swarn priya peter schwabe and lucas tabary maujean alphabetical authorship ieee symposium on security and privacy s p distinguished paper award paper recent news updates 2025 invited to present my research at the france science summit 2025 held in washington dc 2025 attended nsf fmitf pi meeting in iowa and presented my research directions 2025 2024 presented beepl correct by compilation kernel extensions at the darpa pi meeting 2023 invited to serve on the formal methods for security panel at google paris 2023 received the unesco l oréal young talent women in science award 2023 received the ieee s p distinguished paper award swarn priya github google scholar linkedin 2026 swarn priya built with astro