Search
 
   

130 results for "darpa"

  1. 2
    Compiler Verification Meets Cross-Language Linking via Data Abstraction (2014) ☶ compilers formalmethods plt dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | no comments
  2. -3
    Undetectable Remote Arbitrary Code Execution Attacks through JavaScript and HTTP headers trickery browsers javascript networking privacy security bugzilla.mozilla.org
    Shamar avatar authored by Shamar 3 days ago | cached | 26 comments
  3. 18
    Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution security foreshadowattack.eu
    lattera avatar via lattera 17 days ago | cached | 4 comments
  4. 14
    The Web is still a DARPA weapon historical javascript networking security web medium.com
    Shamar avatar authored by Shamar 1 month ago | cached | 20 comments
  5. 18
    15 Years of SparkFun hardware practices sparkfun.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 6 comments
  6. 19
    RISC-V Foundation Forms Security Committee hardware security embedded-computing.com
    minimax avatar via minimax 1 month ago | cached | no comments
  7. 1
    VTA: An Open, Customizable Deep Learning Acceleration Stack ai hardware release tvm.ai
    sanxiyn avatar via sanxiyn 1 month ago | cached | no comments
  8. 2
    Artificial Intelligence (Stanford Encyclopedia of Philosophy) ai philosophy plato.stanford.edu
    lainon avatar via lainon 1 month ago | cached | no comments
  9. 36
    c2rust vs Corrode c rust jamey.thesharps.us
    calvin avatar via calvin 2 months ago | cached | 12 comments
  10. -4
    Data is no Longer at REST audio video compsci education event plt programming scaling web blog.ably.io
    deyan avatar via deyan 2 months ago | cached | no comments
  11. 9
    Dimensional Analysis in Programming Languages programming gmpreussner.com
    calvin avatar via calvin 3 months ago | cached | 3 comments
  12. 8
    The Canadian who reinvented mathematics math projects.thestar.com
    nhooyr avatar via nhooyr 4 months ago | cached | 1 comment
  13. 16
    Tempe Police Release Video of Uber Accident ☶ ai law twitter.com
    itistoday avatar via itistoday 5 months ago | cached | 55 comments
  14. 2
    DARPA and the Internet RevolutIon pdf historical networking darpa.mil
    sevan avatar via sevan 5 months ago | cached | no comments
  15. 14
    Remember the winter ai historical macwright.org
    friendlysock avatar via friendlysock 6 months ago | cached | no comments
  16. 5
    The HACMS Program: Using Formal Methods to Eliminate Exploitable Bugs (2017) ☶ formalmethods practices programming security rsta.royalsocietypublishing.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  17. 10
    When It Comes to Voice Identification, the NSA Reigns Supreme privacy theintercept.com
    mjn avatar via mjn 7 months ago | cached | no comments
  18. 5
    A Brief, Inaccurate History of DNSSEC historical satire security gist.github.com
    jabberwock avatar via jabberwock 7 months ago | cached | no comments
  19. 2
    The Net’s Good Old Boys historical security web progressivepilgrim.review
    bunny351 avatar via bunny351 7 months ago | cached | no comments
  20. 13
    Improve Your Privacy in the Age of Mass Surveillance privacy security IoTdarwinAward.com
    dmendek avatar via dmendek 8 months ago | cached | no comments
Page: 1 2 3 4 5