University of Bristol Bristol UK

  1. Home
  2. search page
  3. affiliation

University of Bristol Bristol UK

국가: 정보 없음
주요 연구 분야: Verification
주요 키워드: #technology #training #cybersecurity
주요 저자:
#Joseph Gardiner #Feras Shahbi #Awais Rashid #Sridhar Adepu #Stanislav Abaimov

📄 기관 상세정보

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

논문 목록 (6건)

Formally Verifying Kyber
저자: José Bacelar Almeida , Santiago Arranz Olmos , Manuel Barbosa , Gilles Barthe , François Dupressoir , Benjamin Grégoire , Vincent Laporte , Jean-Christophe Léchenet , Cameron Low , Tiago Oliveira , Hugo Pacheco , Miguel Quaresma , Peter Schwabe , Pierre-Yves Strub
키워드: #encryption #easycrypt #standardization #formalization #theorems
파트: Verification | 연도: 2024
Capture The Industrial Flag: Lessons from hosting an ICS cybersecurity exercise
저자: Stanislav Abaimov , Joseph Gardiner , Emmanouil Samanis , Jacob Williams , Marios Samanis , Feras Shahbi , Awais Rashid
키워드: #technology #training #cybersecurity #2023 #academic
파트: Infrastructure | 연도: 2024
Towards Human-Centric Endpoint Security
저자: Awais Rashid , Jenny Blessing , Partha Das Chowdhury , Maria Sameen , Ross Anderson , Joseph Gardiner
키워드: #security #mitigation #encrypted #messaging #recovery
파트: Safety | 연도: 2023
A Digital Forensic Taxonomy For Programmable Logic Controller Data Artefacts
저자: Joseph Gardiner , Feras Shahbi , Awais Rashid , Sridhar Adepu
키워드: #industrial #cyber #complexity #forensic #forensics
파트: Analysis | 연도: 2023
Development of the RISC-V entropy source interface
저자: Markku-Juhani O. Saarinen , G. Richard Newell , Ben Marshall
키워드: #microcontrollers #cryptography #cryptographic #polling #splitting
파트: Verification | 연도: 2022
Garbage Collection for Edge Computing
저자: Andrés Amaya García , David May , Ed Nutting
키워드: #computing #python #tedious #software #unlock
파트: Networking | 연도: 2020