Computer Systems Security (Winter 2016): Difference between revisions

From Soma-notes
Keybra (talk | contribs)
 
(20 intermediate revisions by 7 users not shown)
Line 179: Line 179:
       </td>
       </td>
       <td>
       <td>
       <p>[[SystemsSec 2016W Lecture 14|Lecture 14]]
       <p>[[SystemsSec 2016W Lecture 14|Buffer Overflow/Memory Corruption Defenses]]
       </p>
       </p>
       </td>
       </td>
Line 193: Line 193:
       </td>
       </td>
       <td>
       <td>
       <p>[[SystemsSec 2016W Lecture 15|Lecture 15]]
       <p>[[SystemsSec 2016W Lecture 15|Bypassing ASLR and Buffer Overflow Exploits using return-into-libc]]
       </p>
       </p>
       </td>
       </td>
Line 204: Line 204:
       </td>
       </td>
       <td>
       <td>
       <p>[[SystemsSec 2016W Lecture 16|Lecture 16]]
       <p>[[SystemsSec 2016W Lecture 16|Network Firewalls]]
       </p>
       </p>
       </td>
       </td>
Line 217: Line 217:
       </p>
       </p>
       </td>
       </td>
     <td><p></p></td></tr>
     <td><p>Dingledine, Mathewson, and Syverson, [https://www.usenix.org/legacy/events/sec04/tech/dingledine.html Tor: The Second-Generation Onion Router] (USENIX Security 2004)<br>Albert Kwon et al., [https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/kwon Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services] (USENIX Security 2015)<br>(background)[https://www.torproject.org/about/overview.html.en Tor: Overview]</p></td></tr>
     <tr>
     <tr>
       <td>
       <td>
Line 227: Line 227:
       </p>
       </p>
       </td>
       </td>
     <td><p></p></td></tr>
     <td><p>Blase Ur et al., [https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/ur Measuring Real-World Accuracies and Biases in Modeling Password Guessability] (USENIX Security 2015)<br>
Nikolaos Karapanos et al., [https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/karapanos Sound-Proof: Usable Two-Factor Authentication Based on Ambient Sound] (USENIX Security 2015)</p></td></tr>
     <tr>
     <tr>
       <td>
       <td>
Line 237: Line 238:
       </p>
       </p>
       </td>
       </td>
     <td><p></p></td></tr>
     <td><p>Giancarlo Pellegrino et al., [https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/pellegrino In the Compression Hornet’s Nest: A Security Study of Data Compression in Network Services] (USENIX Security 2015)<br>Ramya Jayaram Masti et al., [https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/masti Thermal Covert Channels on Multi-core Platforms] (USENIX Security 2015)</p></td></tr>
     <tr>
     <tr>
       <td>
       <td>
Line 244: Line 245:
       </td>
       </td>
       <td>
       <td>
       <p>[[SystemsSec 2016W Lecture 20|Lecture 20]]
       <p>[[SystemsSec 2016W Lecture 20|DDoS and Pinning]]
       </p>
       </p>
       </td>
       </td>
     <td><p></p></td></tr>
     <td><p>Seyed K. Fayaz et al., [https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/fayaz Bohatei: Flexible and Elastic DDoS Defense] (USENIX Security 2015)<br>Marten Oltrogge and Yasemin Acar, [https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/oltrogge To Pin or Not to Pin—Helping App Developers Bullet Proof Their TLS Connections] (USENIX Security 2015)</p></td></tr>
     <tr>
     <tr>
       <td>
       <td>
Line 257: Line 258:
       </p>
       </p>
       </td>
       </td>
     <td><p></p></td></tr>
     <td><p>David A. Ramos and Dawson Engler, [https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/ramos Under-Constrained Symbolic Execution: Correctness Checking for Real Code] (USENIX Security 2015)<br>Nav Jagpal et al., [https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/jagpal Trends and Lessons from Three Years Fighting Malicious Extensions] (USENIX Security 2015)</p></td></tr>
     <tr>
     <tr>
       <td>
       <td>
Line 264: Line 265:
       </td>
       </td>
       <td>
       <td>
       <p>[[SystemsSec 2016W Lecture 22|Lecture 22]]
       <p>[[SystemsSec 2016W Lecture 22|Cookie Integrity and XSSI]]
       </p>
       </p>
       </td>
       </td>
     <td><p></p></td></tr>
     <td><p>Xiaofeng Zheng et al., [https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/zheng Cookies Lack Integrity: Real-World Implications] (USENIX Security 2015)<br>Sebastian Lekies et al., [https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/lekies The Unexpected Dangers of Dynamic JavaScript] (USENIX Security 2015)</p></td></tr>
     <tr>
     <tr>
       <td>
       <td>
Line 274: Line 275:
       </td>
       </td>
       <td>
       <td>
       <p>[[SystemsSec 2016W Lecture 23|Lecture 23]]
       <p>[[SystemsSec 2016W Lecture 23|Boxify and Android Permissions]]
       </p>
       </p>
       </td>
       </td>
     <td><p></p></td></tr>
     <td><p>Michael Backes et al., [https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/backes Boxify: Full-fledged App Sandboxing for Stock Android] (USENIX Security 2015)<br>Primal Wijesekera et al., [https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/wijesekera Android Permissions Remystified: A Field Study on Contextual Integrity] (USENIX Security 2015)</p></td></tr>
     <tr>
     <tr>
       <td>
       <td>
Line 284: Line 285:
       </td>
       </td>
       <td>
       <td>
       <p>[[SystemsSec 2016W Lecture 24|Lecture 24]]
       <p>[[SystemsSec 2016W Lecture 24|Final Exam Review]]
       </p>
       </p>
       </td>
       </td>
Line 290: Line 291:
     <tr>
     <tr>
       <td>
       <td>
       <p>April 19, 9 AM
       <p>April 18, 10 AM-12 PM
       </p>
       </p>
       </td>
       </td>
       <td>
       <td>
       <p>Final Exam
       <p>Last-Minute Study Session in LA B146
       </p>
       </p>
       </td>
       </td>
     <td><p></p></td></tr>
     <td><p></p></td></tr>
</table>
==Assignments==
<table style="width: 100%;" border="1" cellpadding="4" cellspacing="0">
  <tr valign="top">
    <th>
    <p align="left">Due Date</p>
    </th>
    <th>
    <p align="left">Assignments</p>
    </th>
  </tr>
     <tr>
     <tr>
       <td>
       <td>
       <p>Jan. 30
       <p>April 19, 9 AM
       </p>
       </p>
       </td>
       </td>
       <td>
       <td>
       <p>[[SystemsSec 2016W: Assignment 1|Assignment 1]]
       <p>Final Exam
       </p>
       </p>
       </td>
       </td>
     </tr>
     <td><p></p></td></tr>
    <tr>
      <td>
      <p>Feb. 22
      </p>
      </td>
      <td>
      <p>[[SystemsSec 2016W: Assignment 2|Assignment 2]]
      </p>
      </td>
    </tr>
    <tr>
      <td>
      <p>Mar. 19
      </p>
      </td>
      <td>
      <p>[[SystemsSec 2016W: Assignment 3|Assignment 3]]
      </p>
      </td>
    </tr>
    <tr>
      <td>
      <p>April 4
      </p>
      </td>
      <td>
      <p>[[SystemsSec 2016W: Assignment 4|Assignment 4]]
      </p>
      </td>
    </tr>
</table>
</table>


Line 390: Line 349:
For both kinds of papers, you should give your reaction by addressing questions like the following:
For both kinds of papers, you should give your reaction by addressing questions like the following:
* Did you like the paper?
* Did you like the paper?
* What it easy to understand, or was it hard to read?
* Was it easy to understand, or was it hard to read?
* Did you learn much from the paper?
* Did you learn much from the paper?
* How surprised were you by the result?
* How surprised were you by the result?


Your analysis should not cover the above questions separately (this would tend to make for a very wordy analysis); instead, use these questions as a guide in writing a short essay (1-2 pages) on the paper in question.
Your analysis should not cover the above questions separately (this would tend to make for a very wordy analysis); instead, use these questions as a guide in writing a short essay (1-2 pages) on the paper in question.
Each analysis will be graded out of 10 as follows:
* U: 3 for demonstrating understanding of the content (preferably without summarizing)
* T: 3 for technical analysis (does it work)
* C: 3 for contextual analysis (does it matter)
* V: 1 for your viewpoint

Latest revision as of 00:17, 19 April 2016

Course Outline

Here is the course outline.

Hacking Opportunities

The Hacking Opportunities page lists potential hacking opportunities that you can attempt for your hacking journal. If you attempt but do not successfully accomplish one of them, be sure to document what you tried. As you learn more, you may come back to them and try again.

Resources

Readings

Other Courses

  • Dan Boneh ran an excellent course at Stanford in Spring 2015 on Computer and Network Security. This course has many interesting readings that we will not be covering. Also, the assignments are very good sources for hacking opportunities.
  • The assignments from the Winter 2015 run of COMP 4108 are available. They are a reasonable start for several hacking opportunities.

Lectures and Exams

Date

Topic

Readings

Jan. 7

Introduction

Jaeger, Chapter 1 (Introduction)

Jan. 12

Access Control, Security Hacking 101

Jaeger, Chapter 2 (Access Control Fundamentals)

Jan. 14

Multics, UNIX, and Windows

Jaeger, Chapter 3 (Multics) and Chapter 4 (UNIX & Windows)

Jan. 19

Secure OSs, theory and practice

Jaeger, Chapter 6 (Security Kernels) and Chapter 7 (Securing Commercial Operating Systems)

Jan. 21

LSM, SELinux, & Capabilities

Jaeger, Chapter 9 (LSM & SELinux) and Chapter 10 (Secure Capability Systems)

Jan. 26

Secure Virtual Machines, Systems Assurance

Jaeger, Chapter 11 (Secure Virtual Machine Systems) and Chapter 12 (System Assurance)

Jan. 28

Lecture 7

Feb. 2

Lecture 8

Feb. 4

Defensive Security Technologies / Hacking Opportunities

Feb. 9

Security Research, Hashes, and Secure Protocols

Feb. 11

Modeling a potential attack/ Midterm FAQ

Feb. 23

Midterm Review

Feb. 25

Midterm (in class)

Mar. 1

Buffer Overflow/Memory Corruption Attacks

Aleph One (aka Elias Levy), Smashing The Stack For Fun And Profit (Phrack 49, 1996)

Mar. 3

Buffer Overflow/Memory Corruption Defenses

Wikipedia, Buffer Overflow Protection
Crispin Cowan et al., StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks (USENIX Security, 1998)

Mar. 8

Bypassing ASLR and Buffer Overflow Exploits using return-into-libc

Hovav Shacham et al., On the effectiveness of address-space randomization (ACM CCS, 2004) (proxy)
Hovav Shachem The geometry of innocent flesh on the bone: return-into-libc without function calls (on the x86) (ACM CCS 2007) (proxy)

Mar. 10

Network Firewalls

Bellovin and Cheswick, Network Firewalls (IEEE Communications Magazine, 1994) (proxy)

Mar. 15

Lecture 17

Dingledine, Mathewson, and Syverson, Tor: The Second-Generation Onion Router (USENIX Security 2004)
Albert Kwon et al., Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services (USENIX Security 2015)
(background)Tor: Overview

Mar. 17

Lecture 18

Blase Ur et al., Measuring Real-World Accuracies and Biases in Modeling Password Guessability (USENIX Security 2015)
Nikolaos Karapanos et al., Sound-Proof: Usable Two-Factor Authentication Based on Ambient Sound (USENIX Security 2015)

Mar. 22

Lecture 19

Giancarlo Pellegrino et al., In the Compression Hornet’s Nest: A Security Study of Data Compression in Network Services (USENIX Security 2015)
Ramya Jayaram Masti et al., Thermal Covert Channels on Multi-core Platforms (USENIX Security 2015)

Mar. 24

DDoS and Pinning

Seyed K. Fayaz et al., Bohatei: Flexible and Elastic DDoS Defense (USENIX Security 2015)
Marten Oltrogge and Yasemin Acar, To Pin or Not to Pin—Helping App Developers Bullet Proof Their TLS Connections (USENIX Security 2015)

Mar. 29

Lecture 21

David A. Ramos and Dawson Engler, Under-Constrained Symbolic Execution: Correctness Checking for Real Code (USENIX Security 2015)
Nav Jagpal et al., Trends and Lessons from Three Years Fighting Malicious Extensions (USENIX Security 2015)

Mar. 31

Cookie Integrity and XSSI

Xiaofeng Zheng et al., Cookies Lack Integrity: Real-World Implications (USENIX Security 2015)
Sebastian Lekies et al., The Unexpected Dangers of Dynamic JavaScript (USENIX Security 2015)

Apr. 5

Boxify and Android Permissions

Michael Backes et al., Boxify: Full-fledged App Sandboxing for Stock Android (USENIX Security 2015)
Primal Wijesekera et al., Android Permissions Remystified: A Field Study on Contextual Integrity (USENIX Security 2015)

April 7

Final Exam Review

April 18, 10 AM-12 PM

Last-Minute Study Session in LA B146

April 19, 9 AM

Final Exam

Lecture Notes Guidelines

Part of your participation mark is doing notes for at least one of the lectures. Here are the guidelines for those notes.

The class TA Borke (BorkeObadaObieh at cmail.carleton.ca) will be handling course notes. Please contact her to schedule your class to take notes.

Borke or Anil will set you up with an account on this wiki. You'll enter your initial draft notes here and then work with Borke to make sure they are of sufficient quality. This may require a few rounds of revisions; however, if you follow the guidelines below it shouldn't be too bad.

You should plan on organizing your notes as follows:

  • Organize them in at least the following sections: Topics & Readings and Notes.
  • The Topics & Readings section lists the main topics covered in the class, e.g. "buffer overflows". Please use an unordered bulleted list (using *'s in wiki markup). In this section also list readings relevant to the lecture that were mentioned in class.
  • Put your notes in the Notes section.

Use (nested) lists if appropriate for the notes; however, please have some text that isn't bulleted. Please try to make the notes even if you did not attend lecture; however, you don't need to cover every small bit of information that was covered. In particular the notes do not need to include digressions into topics only tangentially related to the course. Complete sentences are welcome but not required.

Security Reading Analysis Guidelines

A security reading analysis is a detailed analysis of a security research paper. In it you analyze the key arguments of the paper and give your informed opinion.

Most security papers can be classified as attack or defense papers. You should analyze them differently.

For attack papers:

  • What systems are vulnerable to the attack?
  • What is the nature of the vulnerability?
  • What is the the exploit? In particular, what is its technical core?
  • How reproducible is the exploit?
  • Are there likely to be many similar exploits, in the targeted system or other systems?
  • How difficult will it be mitigate/fix the vulnerability in targeted systems?

For defense papers:

  • What is the security problem the paper addresses? In what kind of threat model(s) does the problem exist?
  • How significant is the problem? Specifically, to what degree do existing solutions not work sufficiently well?
  • What is the defense? How does it work?
  • To what degree will the defense potentially solve the targeted security problem? In particular, how difficult will it be for attackers to adapt to this defense?
  • What are the challenges facing deployment of the defense? Are they likely to be overcome?

For both kinds of papers, you should give your reaction by addressing questions like the following:

  • Did you like the paper?
  • Was it easy to understand, or was it hard to read?
  • Did you learn much from the paper?
  • How surprised were you by the result?

Your analysis should not cover the above questions separately (this would tend to make for a very wordy analysis); instead, use these questions as a guide in writing a short essay (1-2 pages) on the paper in question.

Each analysis will be graded out of 10 as follows:

  • U: 3 for demonstrating understanding of the content (preferably without summarizing)
  • T: 3 for technical analysis (does it work)
  • C: 3 for contextual analysis (does it matter)
  • V: 1 for your viewpoint