Towards secure integration of cryptographic software-Reference-Cited by-同舟云学术

Towards secure integration of cryptographic software

Published:2015-10-21 Issue: Volume: Page:
ISSN:
Container-title:2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)
language:
Short-container-title:

Author:

Arzt Steven¹,Nadi Sarah¹,Ali Karim¹,Bodden Eric¹,Erdweg Sebastian¹,Mezini Mira¹

Affiliation:

1. TU Darmstadt, Germany

Funder

Bundesministerium für Bildung und Forschung

Hessisches Ministerium für Wissenschaft und Kunst

Deutsche Forschungsgemeinschaft

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2814228.2814229

Reference45 articles.

1. Choco solver. http://choco-solver.org. Choco solver. http://choco-solver.org.

2. OMG : Meta Object Facility (MOF) Core Specification. Available at http://www.omg.org/spec/MOF/index.html. OMG: Meta Object Facility (MOF) Core Specification. Available at http://www.omg.org/spec/MOF/index.html.

3. W3C. OWL web ontology language. Document available at http://www.w3.org/TR/owl-features/. W3C. OWL web ontology language. Document available at http://www.w3.org/TR/owl-features/.

4. Clafer tools for product line engineering

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Vision: How to Provide Documentation to Non-skilled Developers for Appropriate Use of Cryptography: Action Research Study on Expert Monitoring;Proceedings of the 2023 European Symposium on Usable Security;2023-10-16

2. Empirical analysis of the tool support for software product lines;Software and Systems Modeling;2022-06-08

3. Security and quality: two sides of the same coin?;Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2021-06-20

4. Verifying correct usage of context-free API protocols;Proceedings of the ACM on Programming Languages;2021-01-04

5. “I Don’t Know Too Much About It”: On the Security Mindsets of Computer Science Students;Lecture Notes in Computer Science;2021