KTH Royal Institute of Technology Stockholm Sweden

  1. Home
  2. search page
  3. affiliation

KTH Royal Institute of Technology Stockholm Sweden

국가: Sweden
주요 연구 분야: Verification
주요 키워드: #computer #vulnerabilities #countermeasures
주요 저자:
#Predrag Filipovikj #Aida Čaušević #Elena Lisova #Roberto Guanciale #Musard Balliu

📄 기관 상세정보

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

논문 목록 (5건)

Dyslexia and AI: Do Language Models Align with Dyslexic Style Guide Criteria?
저자: Eleni Ilkou , Thomai Alexiou , Grigoris Antoniou , Olga Viberg
키워드: #students #education #limited #blindly #dyslexia
파트: Verification | 연도: 2025
A GPU-Accelerated Molecular Docking Workflow with Kubernetes and Apache Airflow
저자: Daniel Medeiros , Gabin Schieffer , Jacob Wahlgren , Ivy Peng
키워드: #scientific #gpu #workflow #bioinformatics #workflows
파트: Software Development | 연도: 2023
Service Realizability Check as a Technique to Support a Service Security Assurance Case
저자: Predrag Filipovikj , Aida Čaušević , Elena Lisova
키워드: #security #computing #party #negotiated #negotiates
파트: Verification | 연도: 2020
InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis
저자: Roberto Guanciale , Musard Balliu , Mads F Dam
키워드: #computer #vulnerabilities #countermeasures #insecurity #microarchitecture
파트: Strategies | 연도: 2020
IoT Digital Forensics Readiness in the Edge: A Roadmap for Acquiring Digital Evidences from Intelligent Smart Applications
저자: Andrii Shalaginov , Asif Iqbal , Johannes Olegård
키워드: #decades #internet #complexity #forensics #criminal
파트: Safety | 연도: 2020