Powerpoints for CS 4/6/79995 Design of Secure Operating Systems


Class Slides



Chapter 1

Notes on Security Principles.

Chapter 2

Chapter 3

Chapter 4

Iffy Notes on lattices

Chapter 5

Chapter 6

Chapter 7

Chapter 8

Chapter 9

Selected lectures by Richard Ford from Florida International University



How OSes Get Broken

Linux Security

SELinux

Open v Closed Source

Virtualization Technologies

Capability Systems

Presentations



Omar A Alaql's presentation on Android OS Security

Douglas Stanley's presentation on AppArmor

A presentation on Secure Jailing Systems for Confining Untrusted Applications

Tahani Albalawi's presentation on A Secure Environment for Untrusted Helper Applications

Khulud Alsultan's presentation on OS Integrity

Rostislav Pogerbinsky's presentation on Virtual Machines

Mayank Ladoia's presentation on TOCTTOU vulnerabilitie in Unix.

Sreeju Ramachandran's presentation on Covert Channel Analysis

Anwar Alsulaiman's presentation on Running Secure Applications on an Untrusted OS

Guanzhong Wang's presentation onConfining the Apache WebServer using SeLinux

Ravikumar Madam's presentation on Enhancing File Data Security in Linux

Nagaashwini Katta's presentation on Secure System Architecture

Kirthi Mamidi's presentation on Cryptography based Secure File Systems

Mohammed Alali's presentation on Network Cryptography in the OS

Venkateshwarlu Jangili's presentation on Design and Implementation of MAC in Operating Systems

Bhargavi Konduru's presentation on Constructing Secure Operating Environments

Dinesh Kumar Mukka's presentation on A Cloud Oriented Cross-Domain

Muslem Al Saidi's presentation on Android vs IOS

Sanjay Kumar Kunta's presentation on Iphone Privacy

Sindhu Boyina's presentation on An Executable Code Authorization Model

Chun Zhang's presentation on IOS Security

Venkata Dharanesh Babu Akkem's presentation on Analyzing Malware

Jithu Jose's presentation on Cloud Computing Security

Dilsad Sera Sahintepe's presentation on Intrusion Prevention Systems

Nagalaxmi Prasanna Gumpalli's presentation on Enhancing Security of OS

Ali Kapucu's presentation on DDOS attacks

Rajhesh B. Bangalore Revanna's presentation on OS X security

Abhishek Singh's presentation on Android Security

Sravya Avasarala's presentation on Privacy and Security in IOS

Sai Charan Obuladinne's presentation on MYSEA Technology Demonstration

John Krupavaram Pole Bhakthavatsalam's presentation on Measuring Pay-per-Install

Long Song's presentation on Virtual Machine Security System