[Updated on Oct. 4] Integration of CiNii Articles into CiNii Research from April 1, 2022

Certifying Assembly with Formal Cryptographic Proofs : the Case of BBS

Bibliographic Information

Title
Certifying Assembly with Formal Cryptographic Proofs : the Case of BBS
Author
Reynald AFFELDT(第一著者), David NOWAK, Kiyoshi YAMADA

Journal

Citations (0)*help

See more

References(0)*help

See more

Related Articles

See more

Related Data

See more

Related Books

See more

Related Dissertations

See more

Related Projects

See more

Related Products

See more

Details

  • CRID
    1010000782091690502
  • Article Type
    journal article
  • Data Source
    • KAKEN
Back to top