Tallinn University of Technology Tallinn Estonia

  1. Home
  2. search page
  3. affiliation

Tallinn University of Technology Tallinn Estonia

국가: Estonia
주요 연구 분야: Verification
주요 키워드: #neural #2022 #2023
주요 저자:
#Zain Ul Abideen #Sumathi Gokulanathan #Muayad J Aljafar #Samuel N Pagliarini #Mahdi Taheri

📄 기관 상세정보

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

논문 목록 (7건)

SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F*
저자: Catalin Hritcu , Cezar Constantin Andrici , Danel Ahman , Ruxandra Icleanu , Guido Martínez , Exequiel Rivas , Théo Winterhalter
키워드: #interoperability #refinement #verification #protecting #proofs
파트: Verification | 연도: 2025
Innovating IT Ethics Education: The Role of AI in Course Development
저자: Birgy Lorenz , Kaido Kikkas
키워드: #2022 #2023 #academic #2024 #seminar
파트: Artificial Intelligence | 연도: 2025
Special Session: Reliability Assessment Recipes for DNN Accelerators
저자: Mahdi Taheri , Mohammad Hasan Ahmadilivani , Jaan Raik , Maksim Jenihhin , Alberto Bosio , Bastien Deveautour , Fernando Fernandes Dos Santos , Juan-David Guerrero-Balaguera , Angeliki Kritikakou , Robert Limas Sierra , Salvatore Pappalardo , Josie E. Rodriguez Condia , Matteo Sonza Reorda , Marcello Traiola
키워드: #neural #optimizing #gpus #hardware #recipes
파트: Verification | 연도: 2024
Heterogeneous Approximation of DNN HW Accelerators based on Channels Vulnerability
저자: Natalia Cherezova , Salvatore Pappalardo , Mahdi Taheri , Mohammad Hasan Ahmadilivani , Bastien Deveautour , Alberto Bosio , Jaan Raik , Maksim Jenihhin
키워드: #neural #resiliency #resilience #approximation #gracefully
파트: Verification | 연도: 2024
Experts still needed: boosting long-term android malware detection with active learning
저자: Alejandro Guerra-Manzanares , Hayretdin Bahsi
키워드: #cyber #threats #noisy #malware #demanding
파트: Safety | 연도: 2024
An Overview of FPGA-inspired Obfuscation Techniques
저자: Zain Ul Abideen , Sumathi Gokulanathan , Muayad J Aljafar , Samuel N Pagliarini
키워드: #business #costly #financial #globalized #semiconductor
파트: Analysis | 연도: 2024
A Pragmatic Methodology for Blind Hardware Trojan Insertion in Finalized Layouts
저자: Alexander Hepp , Tiago Diadami Perez , Samuel N Pagliarini , Georg Sigl
키워드: #engineering #attack #crypto #trojans #attacked
파트: Analysis | 연도: 2022