summaryrefslogtreecommitdiff
path: root/paper
diff options
context:
space:
mode:
authorjaseg <git@jaseg.net>2018-12-17 12:26:51 +0900
committerjaseg <git@jaseg.net>2018-12-17 12:26:51 +0900
commit40e9fb8153a218a243cff749d7d0b4e82d70ae94 (patch)
tree831254a0d04a45012d5f11bb5f581833a95ae177 /paper
parenteb3b3b884c0e119f40499019277e984988502dbe (diff)
downloadsecure-hid-40e9fb8153a218a243cff749d7d0b4e82d70ae94.tar.gz
secure-hid-40e9fb8153a218a243cff749d7d0b4e82d70ae94.tar.bz2
secure-hid-40e9fb8153a218a243cff749d7d0b4e82d70ae94.zip
Invocation of noise.c from demo.c mostly proving in frama-c
Diffstat (limited to 'paper')
0 files changed, 0 insertions, 0 deletions