Newcastle University Newcastle upon Tyne UK

  1. Home
  2. search page
  3. affiliation

Newcastle University Newcastle upon Tyne UK

국가: 정보 없음
주요 연구 분야: Cryptography
주요 키워드: #cryptographic #analysed #verification
주요 저자:
#Roberto Metere #Luca Arnaboldi #Anatoliy Gorbenko #Andrii Karpenko #Artem Akulynichev

📄 기관 상세정보

출판수4
총 인용수10
평균 인용수2.50
저자 수19
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (4건)

Enhancing HW-SW Confidentiality Verification for Embedded Processors with SoftFlow’s Advanced Memory Range Feature
저자: Lennart M. Reimann , Jonathan Wiesner , Karol Jaszczyk , Chiara Ghinami , Dominik Germek , Farhad Merchant , Rainer Leupers
키워드: #vulnerabilities #security #automation #cryptographic #leakage
파트: Cryptography | 연도: 2024
Using Redundant Reads for Improving Performance and Availability of Distributed Replicated Systems with Relaxed Consistency
저자: Anatoliy Gorbenko , Andrii Karpenko , Artem Akulynichev , Olga Tarasyuk
키워드: #twitter #web #databases #facebook #testbed
파트: Databases | 연도: 2024
Automating cryptographic protocol language generation from structured specifications
저자: Roberto Metere , Luca Arnaboldi
키워드: #analysed #cryptographic #verification #verifying #cryptographer
파트: Cryptography | 연도: 2022
PLEDGER: Embedded Whole Genome Read Mapping using Algorithm-HW Co-design and Memory-aware Implementation
저자: Sidharth Maheshwari , Rishad Shafik , Ian Wilson , Alex Yakovlev , Venkateshwarlu Y. Gudur , Amit Acharyya
키워드: #genetic #gpu #genomics #4xcortex #genome
파트: Verification | 연도: 2021