Login / Signup

Static Semantics of Secret Channel Abstractions.

Marco Giunti
Published in: NordSec (2014)
Keyphrases
  • formal semantics
  • logic programming
  • high level
  • multi channel
  • semantic information
  • secret sharing scheme
  • multiple access
  • channel capacity
  • databases
  • heuristic search
  • communication channels
  • secret sharing