External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties

Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch. An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. Archive of Formal Proofs, 2018, 2018. [doi]

Authors

Oliver Bracevac

This author has not been identified. Look up 'Oliver Bracevac' in Google

Richard Gay

This author has not been identified. Look up 'Richard Gay' in Google

Sylvia Grewe

This author has not been identified. Look up 'Sylvia Grewe' in Google

Heiko Mantel

This author has not been identified. Look up 'Heiko Mantel' in Google

Henning Sudbrock

This author has not been identified. Look up 'Henning Sudbrock' in Google

Markus Tasch

This author has not been identified. Look up 'Markus Tasch' in Google
runs on