research
∙
06/12/2023
Semantic-Based Neural Network Repair
Recently, neural networks have spread into numerous fields including man...
share
research
∙
02/20/2022
ExAIS: Executable AI Semantics
Neural networks can be regarded as a new programming paradigm, i.e., ins...
research
∙
10/22/2019
The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses
Due to their specific features, such as decentralization and immutabilit...
research
∙
09/27/2019