Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Home
Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment
Datasets
Student theses
Search by expertise, name or affiliation
EnnCore: End-to-End Conceptual Guarding of Neural Architectures
Cordeiro, Lucas
(PI)
Brown, Gavin
(CoI)
Freitas, Andre
(CoI)
Luján, Mikel
(CoI)
Mustafa, Mustafa
(CoI)
Formal Methods
Department of Computer Science
Machine Learning and Robotics
Information Management
Advanced Processor Technology
Systems and Software Security
Centre for Digital Trust and Society
Overview
Fingerprint
Research output
(50)
Research output
Research output per year
2021
2021
2022
2023
2024
2024
23
Conference contribution
23
Article
1
Paper
1
Poster
2
More
1
Letter
1
Review article
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Paper
Search results
2021
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs
Alshmrany, K.,
Menezes, R.
, Gadelha, M. R. &
Cordeiro, L.
,
2021
.
Research output
:
Contribution to conference
›
Paper
›
peer-review