Pinned Loading

1. Cache-Covert-Channel-Attack_-FLUSH-RELOAD- Cache-Covert-Channel-Attack_-FLUSH-RELOAD- Public

   This project is a demonstration of Flush and Reload attack on real system.Creating a covert channel between Gogo and Gollu that are running on two separate physical cores. They cannot communicate d…

   C 1

2. DRAM-RowBuffer-Attack-Detector DRAM-RowBuffer-Attack-Detector Public

   DRAM is a resource that is shared even in cloud-based environments where tenants typically do not share CPU or the caches. DRAM access latency depends on row buffer hits and conflicts, thereby open…

3. SMT-based-Optimal-LTL-Motion-Planning-for-Multi-Robot SMT-based-Optimal-LTL-Motion-Planning-for-Multi-Robot Public

   This project provides optimum motion planning for multi robots in a environment with certain constraints, Z3 SMT solver is used to achieve the optimum result.

   Jupyter Notebook

4. Sum-Sudoku-Solver Sum-Sudoku-Solver Public

   This project uses Z3 SMT solver to solve the famous game called Sum Sudoku.