Search
 
   

8 results for "domain:cc.gatech.edu"

  1. 3
    Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants ☶ pdf formalmethods hardware security cc.gatech.edu
    nickpsecurity avatar via nickpsecurity 12 days ago | cached | no comments
  2. 1
    Simulation of Biology art compsci education science cc.gatech.edu
    animatronic avatar via animatronic 3 months ago | cached | no comments
  3. 3
    Identifying Open-Source License Violation and 1-day Security Risk at Large Scale pdf law reversing security cc.gatech.edu
    pushcx avatar via pushcx 8 months ago | cached | no comments
  4. 2
    UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages (2016) ☶ pdf security cc.gatech.edu
    fro avatar via fro 1 year ago | cached | no comments
  5. 2
    How to Make ASLR Win the Clone Wars: Runtime Re-Randomization (2016) ☶ pdf security cc.gatech.edu
    fro avatar via fro 1 year ago | cached | no comments
  6. 4
    LambdaMOO Takes a New Direction culture historical cc.gatech.edu
    friendlysock avatar via friendlysock 1 year ago | cached | no comments
  7. 4
    Unleashing use-before-initialization vulnerabilities in Linux kernel (2017) ☶ pdf programming security cc.gatech.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  8. 2
    Type Casting Verification: Stopping an Emerging Attack Vector pdf c security cc.gatech.edu
    pushcx avatar via pushcx 3 years ago | cached | no comments