Skip to content

Instantly share code, notes, and snippets.

@ph4ge

ph4ge/uroboros-debian10.7-install.txt

Last active December 14, 2020 20:20
Show Gist options
  • Save ph4ge/797612868d747e596a3b5b14451e9e7d to your computer and use it in GitHub Desktop.
Save ph4ge/797612868d747e596a3b5b14451e9e7d to your computer and use it in GitHub Desktop.
Download ZIP
UROBOROS install notes debian 10.7.0
Raw
uroboros-debian10.7-install.txt
# installation notes of UROBOROS poc on a debian-10.7.0-amd64
# ref.:
https://www.usenix.org/system/files/conference/usenixsecurity15/sec15-paper-wang-shuai.pdf
https://ieeexplore.ieee.org/document/7476646
sha256:
b317d87b0a3d5b568f48a92dcabfc4bc51fe58d9f67ca13b013f1b8329d1306d debian-10.7.0-amd64-netinst.iso
# proceed installation with only the standard utilies and ssh server
su
apt install sudo
# add user to sudoers
sudo apt update && sudo apt install git build-essential opam m4 autotools-dev autoconf automake
git clone https://github.com/s3team/uroboros
opam init --comp 4.01.0 -j`getconf _NPROCESSORS_ONLN`
eval $(opam env)
opam depext conf-m4 # it will prompt to install depext first
opam install deriving.0.7
opam install ocamlfind.1.5.5
opam install parmap.1.0-rc6
opam install batteries.2.3.1
eval $(opam config env)
cd uroboros/src/
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment