Fondazione Bruno Kessler Trento Italy

  1. Home
  2. search page
  3. affiliation

Fondazione Bruno Kessler Trento Italy

국가: Italy
주요 연구 분야: Verification
주요 키워드: #security #engineering #cryptographic
주요 저자:
#Roberto Carbone #Silvio Ranise #Stefano Berlato #Adam J Lee #Giada Sciarretta

📄 기관 상세정보

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

논문 목록 (8건)

Towards Formal Design of FDIR Components with AI
저자: Marco Bozzano , Alessandro Cimatti , Marco Cristoforetti , Alberto Griggio , Piergiorgio Svaizer , Stefano Tonetta
키워드: #learning #innovative #effectiveness #improve #recovery
파트: Verification | 연도: 2024
Testing the Migration from Analog to Software-Based Railway Interlocking Systems
저자: Alessandro Cimatti , Anna Becchi , Giuseppe Scaglione
키워드: #computational #software #bugs #italian #railway
파트: Verification | 연도: 2024
Formal Design and Validation of an Automatic Train Operation Control System
저자: Arturo Amendola , Lorenzo Barruffo , Marco Bozzano , Alessandro Cimatti , Salvatore De Simone , Eugenio Fedeli , Artem Gabbasov , Domenico Ernesto Garrubba , Massimiliano Girardi , Diana Serra , Roberto Tiella , Gianni Zampedri
키워드: #research #industrial #automation #train #tools
파트: Verification | 연도: 2022
A Modular and Extensible Framework for Securing TLS
저자: Giada Sciarretta , Matteo Rizzi , Salvatore Manfredi , Silvio Ranise
키워드: #security #powerful #cryptographic #hard #dangerous
파트: Verification | 연도: 2022
Abstraction Modulo Stability for Reverse Engineering
저자: Anna Becchi , Alessandro Cimatti
키워드: #algorithm #engineering #analysis #extraction #computation
파트: Analysis | 연도: 2022
Teaching DevOps in Academia and Industry: Reflections and Vision
저자: Evgeny Bobrov , Antonio Bucchiarone , Alfredo Capozucca , Nicolas Guelfi , Manuel Mazzara , Sergey Masyagin
키워드: #engineering #developers #new #graduate #undergraduate
파트: Software Development | 연도: 2020
The Good, the Bad and the (Not So) Ugly of Out-of-Band Authentication with eID Cards and Push Notifications: Design, Formal and Risk Analysis
저자: Marco Pernpruner , Roberto Carbone , Silvio Ranise , Giada Sciarretta
키워드: #technologies #security #authentication #passwordless #electronic
파트: Cryptography | 연도: 2020
Exploring Architectures for Cryptographic Access Control Enforcement in the Cloud for Fun and Optimization
저자: Roberto Carbone , Silvio Ranise , Stefano Berlato , Adam J Lee
키워드: #security #cryptographic #solvers #encrypted #proxy
파트: Verification | 연도: 2020