Search
 
   

11 results for "domain:hal.inria.fr"

  1. 10
    Modular Verification of Programs with Effects and Effect Handlers in Coq ☶ pdf formalmethods hardware security hal.inria.fr
    lthms avatar authored by lthms 1 month ago | cached | no comments
  2. 5
    Specification and Proof of High-level Functional Properties of Bit-level Programs (2016) ☶ formalmethods programming hal.inria.fr
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  3. 1
    Automating the Verification of Floating-Point Programs (2017) ☶ formalmethods programming hal.inria.fr
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  4. 23
    A proposal for a resource-management model for OCaml pdf ml plt hal.inria.fr
    copy avatar via copy 5 months ago | cached | 4 comments
  5. 4
    How to Get an Efficient yet Verified Arbitrary-Precision Integer Library (2017) ☶ pdf c formalmethods hal.inria.fr
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | 24 comments
  6. 3
    Gradual Typing for Smalltalk (2013) pdf plt hal.inria.fr
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 1 comment
  7. 8
    Does disabling Wi-Fi prevent my Android phone from sending Wi-Fi frames? pdf android privacy hal.inria.fr
    pushcx avatar via pushcx 12 months ago | cached | 2 comments
  8. 3
    Unit Testing of Energy Consumption of Software Libraries pdf release hal.inria.fr
    bowyakka avatar via bowyakka 2 years ago | cached | no comments
  9. 2
    Social Clicks: What and Who Gets Read on Twitter? pdf cogsci hal.inria.fr
    calvin avatar via calvin 2 years ago | cached | no comments
  10. 11
    Branch Prediction and the Performance of Interpreters - Don't Trust Folklore pdf compilers hal.inria.fr
    pushcx avatar via pushcx 3 years ago | cached | no comments
  11. 4
    Identifying Website Users by TLS Traffic Analysis: New Attacks and Effective Countermeasures pdf security hal.inria.fr
    fcambus avatar via fcambus 5 years ago | cached | no comments