├── .gitignore ├── .merlin ├── LICENSE ├── README.md ├── _tags ├── aesynth.opam ├── dune-project ├── found-modes-attack.txt ├── found-modes.txt ├── run-attack.sh ├── run.sh ├── schemes ├── Makefile ├── ae.h ├── confidence.py ├── notes.txt ├── ocb.c ├── run.sh └── timing_x86.c └── src ├── .merlin ├── aeCryptol.ml ├── aeGraph.ml ├── aeInclude.ml ├── aeInst.ml ├── aeModes.ml ├── aeOps.ml ├── aeSynth.ml ├── dune └── main.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/.gitignore -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/.merlin -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/README.md -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/_tags -------------------------------------------------------------------------------- /aesynth.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/aesynth.opam -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 1.9) 2 | (name aesynth) 3 | -------------------------------------------------------------------------------- /found-modes-attack.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/found-modes-attack.txt -------------------------------------------------------------------------------- /found-modes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/found-modes.txt -------------------------------------------------------------------------------- /run-attack.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/run-attack.sh -------------------------------------------------------------------------------- /run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/run.sh -------------------------------------------------------------------------------- /schemes/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/schemes/Makefile -------------------------------------------------------------------------------- /schemes/ae.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/schemes/ae.h -------------------------------------------------------------------------------- /schemes/confidence.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/schemes/confidence.py -------------------------------------------------------------------------------- /schemes/notes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/schemes/notes.txt -------------------------------------------------------------------------------- /schemes/ocb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/schemes/ocb.c -------------------------------------------------------------------------------- /schemes/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/schemes/run.sh -------------------------------------------------------------------------------- /schemes/timing_x86.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/schemes/timing_x86.c -------------------------------------------------------------------------------- /src/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/src/.merlin -------------------------------------------------------------------------------- /src/aeCryptol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/src/aeCryptol.ml -------------------------------------------------------------------------------- /src/aeGraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/src/aeGraph.ml -------------------------------------------------------------------------------- /src/aeInclude.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/src/aeInclude.ml -------------------------------------------------------------------------------- /src/aeInst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/src/aeInst.ml -------------------------------------------------------------------------------- /src/aeModes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/src/aeModes.ml -------------------------------------------------------------------------------- /src/aeOps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/src/aeOps.ml -------------------------------------------------------------------------------- /src/aeSynth.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/src/aeSynth.ml -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/src/dune -------------------------------------------------------------------------------- /src/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaloz/ae-generator/HEAD/src/main.ml --------------------------------------------------------------------------------