Aarhus University Aarhus Denmark

  1. Home
  2. search page
  3. affiliation

Aarhus University Aarhus Denmark

국가: Denmark
주요 연구 분야: Verification
주요 키워드: #researchers #software #cryptographic
주요 저자:
#Tomas Kulik #Brijesh Dongol #Peter Gorm Larsen #Hugo Daniel Macedo #Steve A Schneider

📄 기관 상세정보

출판수8
총 인용수59
평균 인용수7.38
저자 수33
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (8건)

Ethical challenges and software test automation
저자: Eduard Paul Enoiu , Per Erik Strandberg , Mirgita Frasheri
키워드: #researchers #automation #ethics #experts #software
파트: Verification | 연도: 2025
Reducing Static Analysis Unsoundness with Approximate Interpretation
저자: Mathias Rud Laursen , Wenyuan Xu , Anders Møller
키워드: #difficult #complex #library #javascript #aliasing
파트: Strategies | 연도: 2024
The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography
저자: Philipp G Haselwarter , Benjamin Salling Hvass , Lasse Letager Hansen , Théo Winterhalter , Catalin Hritcu , Bas Spitters
키워드: #encryption #cryptography #cryptographic #devising #maturing
파트: Verification | 연도: 2024
Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly
저자: Aïna Linn Georges , Maxime Legoupil , June Rousseau , Jean Pichon-Pharabod , Lars Birkedal
키워드: #logic #webassembly #mechanisation #linear #grained
파트: Verification | 연도: 2024
Structure-Preserving Compilers from New Notions of Obfuscations
저자: Matteo Campanelli , Danilo Francati , Claudio Orlandi
키워드: #algorithms #software #cryptographic #oracle #oracles
파트: Analysis | 연도: 2023
A survey of elliptic curves for proof systems
저자: Diego F. Aranha , Youssef El Housni , Aurore Guillevic
키워드: #revisit #proofs #recursive #ingredients #tailored
파트: Verification | 연도: 2022
A Survey of Practical Formal Methods for Security
저자: Tomas Kulik , Brijesh Dongol , Peter Gorm Larsen , Hugo Daniel Macedo , Steve A Schneider , Peter W V Tran-Jørgensen , Jim C P Woodcock
키워드: #researchers #security #computing #cyber #designers
파트: Verification | 연도: 2022
Situated Accountability: Ethical Principles, Certification Standards, and Explanation Methods in Applied AI
저자: Anne Henriksen , Simon Enni , Anja Bechmann
키워드: #society #developers #social #employment #scandinavian
파트: Artificial Intelligence | 연도: 2021