Search
 
   

5 results for "domain:hal.archives-ouvertes.fr"

  1. 1
    Formal verification of an interior point algorithm instanciation ☶ c formalmethods hal.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | 1 comment
  2. 3
    Electrum: Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations pdf formalmethods programming hal.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 1 comment
  3. 6
    Toward Certification for Free: Correct-by-Construction ML Oracles with Polymorphic LCF Style pdf compsci formalmethods programming hal.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 11 months ago | cached | no comments
  4. 2
    On privacy and anonymity in electronic and non electronic voting: the ballot-as-signature attack. ☶ pdf privacy security hal.archives-ouvertes.fr
    gasche avatar via gasche 1 year ago | cached | no comments
  5. 4
    How do you calculate the midpoint of two floats? [2011] pdf programming hal.archives-ouvertes.fr
    DRMacIver avatar via DRMacIver 3 years ago | cached | 2 comments