TroupeLang / Troupe Star 21 Code Issues Pull requests Troupe programming language security compiler information-flow-control information-flow information-flow-tracking language-based-security dynamic-monitoring Updated Oct 10, 2024 TypeScript
mnavaki / PIITracker Star 19 Code Issues Pull requests PIITracker: Automatic Tracking of Personally Identifiable Information in Windows privacy reverse-engineering taint-analysis panda information-flow-tracking personally-identifiable-information Updated Apr 1, 2018 C
mnavaki / FAROS Star 16 Code Issues Pull requests FAROS: Illuminating In-Memory Injection Attacks via Provenance-based Whole System Dynamic Information Flow Tracking reverse-engineering taint-analysis panda provenance-analysis information-flow-tracking in-memory-injection-attacks Updated Apr 1, 2018 C
felixlinker / ifc-rv-thesis Star 4 Code Issues Pull requests My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker model-checking formal-methods formal-verification risc-v nusmv smv information-flow-control nuxmv information-flow-tracking Updated Sep 4, 2020 TeX
g0kul / secure_i2c_using_ift Star 1 Code Issues Pull requests I2C Information Flow Tracking using SecVerilog HDL. NonInterference proven I2C Master. security hardware i2c verilog information-flow-tracking secverilog Updated Mar 17, 2018 C++