GitHub - georgiabasa/certikosApp: Implementation of a secure, low-level application designed on CertiKOS formally verified operating system kernel. Simulation of an autonomous satellite critical susystems - environmental monitoring, task scheduling and watchdog diagnostics - within a trusted computing environment. Developed as part of my diploma thesis at the University of Patras.

georgiabasa / certikosApp Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Implementation of a secure, low-level application designed on CertiKOS formally verified operating system kernel. Simulation of an autonomous satellite critical susystems - environmental monitoring, task scheduling and watchdog diagnostics - within a trusted computing environment. Developed as part of my diploma thesis at the University of Patras.

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
boot		boot
doc		doc
misc		misc
nbproject		nbproject
sys		sys
user		user
.gdbinit		.gdbinit
.gitignore		.gitignore
INSTALL		INSTALL
Makefile		Makefile
README		README
build_image.py		build_image.py
certikos.bsd		certikos.bsd
make.sh		make.sh
run.sh		run.sh

Repository files navigation

1.Download and run the official mCertiKOS VirtualBox image (used in PLDI 2016) - PLDI16AE_Ubuntu15.04_x86_64.ovf
dowload link: https://flint.cs.yale.edu/flint/publications/pldi16-security/PLDI16AE_Ubuntu15.04_x86_64.ova

2.Inside the VM, you will find:
home/certikos/workspace/certikos/kernel/

3.Replace this “kernel/” folder with the contents of the GitHub repo:
cd workspace/certikos
mv kernel kernel-backup	(optional: back up original)
git clone https://github.com/georgiabasa/certikosApp.git kernel

4.All necessary files, scripts and application logic are now in place

5.Clean and build kernel and user-level processes:
sudo make clean
sudo ./make.sh	(password: a)

6.Run the system:
sudo ./run.sh



____________________________________________________________________________________________________________

sudo apt-get install libc6-dev-i386


Notice:
* Our elf loader cannot initialize static variable. Thus, please make sure to initialize static variable manually in user process.