Login / Signup
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation.
Guillaume Claret
Lourdes Del Carmen González-Huesca
Yann Régis-Gianas
Beta Ziliani
Published in:
ITP (2013)
Keyphrases
</>
lightweight
handheld devices
dos attacks
wireless sensor networks
maximum likelihood
theorem proving
social networks
mathematical model
cost effective
simulation model