Popular repositories Loading

1. AutoCC AutoCC Public

   Methodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operates at RTL to exhaustively examine any machine state left by …

   Standard ML 15 7

2. dcra dcra Public

   C++ 8 1

3. tascade tascade Public

   C++ 4

4. infoArt-Server infoArt-Server Public

   Repository for the trajectory analysis in the server. It leverages ML to analyse the visitor’ trajectories to improve the exhibition’s design.

   Java 3

5. muchiSim muchiSim Public

   Forked from PrincetonUniversity/muchiSim

   Simulator framework for analysis of performance, energy consumption, area and cost of multi-node multi-chiplet tile-based manycore designs

   C++ 3

6. infoArt-ios infoArt-ios Public

   Repository for the iOS version of the infoArt App

   Objective-C 2