research
∙
06/02/2023
PassGPT: Password Modeling and (Guided) Generation with Large Language Models
Large language models (LLMs) successfully model natural language from va...
share
research
∙
03/20/2023
Automatic Measures for Evaluating Generative Design Methods for Architects
The recent explosion of high-quality image-to-image methods has prompted...
research
∙
03/01/2023
CoProver: A Recommender System for Proof Construction
Interactive Theorem Provers (ITPs) are an indispensable tool in the arse...
research
∙
02/27/2023
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning
Cylindrical Algebraic Decomposition (CAD) is a key proof technique for f...
research
∙
10/06/2022
Trust in Motion: Capturing Trust Ascendancy in Open-Source Projects using Hybrid AI
Open-source is frequently described as a driver for unprecedented commun...
research
∙
04/20/2022
Adversarial Scratches: Deployable Attacks to CNN Classifiers
A growing body of work has shown that deep neural networks are susceptib...
research
∙
02/12/2022
TATTOOED: A Robust Deep Neural Network Watermarking Scheme based on Spread-Spectrum Channel Coding
The proliferation of deep learning applications in several areas has led...
research
∙
01/21/2022
FedComm: Federated Learning as a Medium for Covert Communication
Proposed as a solution to mitigate the privacy implications related to t...
research
∙
10/30/2020
Capture the Bot: Using Adversarial Examples to Improve CAPTCHA Robustness to Bot Attacks
To this date, CAPTCHAs have served as the first line of defense preventi...
research
∙
12/05/2019
Scratch that! An Evolution-based Adversarial Attack against Neural Networks
Recent research has shown that Deep Neural Networks (DNNs) for image cla...
research
∙
09/01/2017
PassGAN: A Deep Learning Approach for Password Guessing
State-of-the-art password guessing tools, such as HashCat and John the R...
research
∙
02/24/2017
