rtrimana

xCompass

This repository hosts a persona based privacy threat modeling solution called Models of Applied Privacy or MAP.

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

program_analysis

An example of how we can use the Soot environment to do program analysis in Java

rahmadi-trimananda-website

rtrimana.github.io

Spoon-Knife

This repo is for demonstration purposes only.

OVRseen

This is the repository for OVRSeen, a system and framework to perform network traffic and privacy policy analyses on VR apps.

PoliGraph

PoliGraph: Automated Privacy Policy Analysis using Knowledge Graphs

iotcheck

This is the repository for IoTCheck, a framework that model-checks smart home apps.

iotcheck-dpor

This is the repository that contains the DPOR implementation for IoTCheck.

rtrimana/jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

rtrimana/program_analysis

An example of how we can use the Soot environment to do program analysis in Java

rtrimana/rahmadi-trimananda-website

rtrimana/rtrimana.github.io

rtrimana/Spoon-Knife

This repo is for demonstration purposes only.