English
Related papers

Related papers: Attack Synthesis for Strings using Meta-Heuristics

200 papers

Speech synthesis might hold the key to low-resource speech recognition. Data augmentation techniques have become an essential part of modern speech recognition training. Yet, they are simple, naive, and rarely reflect real-world conditions.…

Computation and Language · Computer Science 2020-12-25 Deblin Bagchi , Shannon Wotherspoon , Zhuolin Jiang , Prasanna Muthukumar

This paper proposes DeepSynth, a method for effective training of deep Reinforcement Learning (RL) agents when the reward is sparse and non-Markovian, but at the same time progress towards the reward requires achieving an unknown sequence…

Machine Learning · Computer Science 2021-03-09 Mohammadhosein Hasanbeig , Natasha Yogananda Jeppu , Alessandro Abate , Tom Melham , Daniel Kroening

This paper considers a method of coding the sensor outputs in order to detect stealthy false data injection attacks. An intelligent attacker can design a sequence of data injection to sensors and actuators that pass the state estimator and…

Cryptography and Security · Computer Science 2016-11-17 Fei Miao , Quanyan Zhu , Miroslav Pajic , George J. Pappas

We study the problem of compressing a source sequence in the presence of side-information that is related to the source via insertions, deletions and substitutions. We propose a simple algorithm to compress the source sequence when the…

Information Theory · Computer Science 2016-11-15 Nan Ma , Kannan Ramchandran , David Tse

Attackers create adversarial text to deceive both human perception and the current AI systems to perform malicious purposes such as spam product reviews and fake political posts. We investigate the difference between the adversarial and the…

Computation and Language · Computer Science 2019-12-20 Hoang-Quoc Nguyen-Son , Tran Phuong Thao , Seira Hidano , Shinsaku Kiyomoto

This paper shows how Long Short-term Memory recurrent neural networks can be used to generate complex sequences with long-range structure, simply by predicting one data point at a time. The approach is demonstrated for text (where the data…

Neural and Evolutionary Computing · Computer Science 2014-06-06 Alex Graves

Synthetic data augmentation has emerged as a promising solution when pre-training is constrained by data rather than compute. We study how to design synthetic data algorithms that achieve better loss scaling: not only lowering loss at…

Machine Learning · Computer Science 2026-03-20 Konwoo Kim , Suhas Kotha , Yejin Choi , Tatsunori Hashimoto , Nick Haber , Percy Liang

Stochastic computing (SC) is a high density, low-power computation technique which encodes values as unary bitstreams instead of binary-encoded (BE) values. Practical SC implementations require deterministic or pseudo-random number…

Emerging Technologies · Computer Science 2019-02-28 Vincent T. Lee , Samuel Archibald Elliot , Armin Alaghi , Luis Ceze

Software-defined networking (SDN) is revolutionizing the networking industry, but current SDN programming platforms do not provide automated mechanisms for updating global configurations on the fly. Implementing updates by hand is…

Programming Languages · Computer Science 2015-04-20 Jedidiah McClurg , Hossein Hojjat , Pavol Cerny , Nate Foster

To improve the overall performance of processors, computer architects use various performance optimization techniques in modern processors, such as speculative execution, branch prediction, and chaotic execution. Both now and in the future,…

Cryptography and Security · Computer Science 2022-08-31 Zhongkai Tong , Ziyuan Zhu , Yusha Zhang , Yuxin Liu , Dan Meng

As more tech companies engage in rigorous economic analyses, we are confronted with a data problem: in-house papers cannot be replicated due to use of sensitive, proprietary, or private data. Readers are left to assume that the obscured…

General Economics · Economics 2020-11-10 Allison Koenecke , Hal Varian

Automated attack discovery techniques, such as attacker synthesis or model-based fuzzing, provide powerful ways to ensure network protocols operate correctly and securely. Such techniques, in general, require a formal representation of the…

Cryptography and Security · Computer Science 2022-02-24 Maria Leonor Pacheco , Max von Hippel , Ben Weintraub , Dan Goldwasser , Cristina Nita-Rotaru

Semi-supervised learning that leverages synthetic data for training has been widely adopted for developing automatic post-editing (APE) models due to the lack of training data. With this aim, we focus on data-synthesis methods to create…

Computation and Language · Computer Science 2024-06-04 Wonkee Lee , Seong-Hwan Heo , Jong-Hyeok Lee

Side-channel attacks (SCAs), which infer secret information (for example secret keys) by exploiting information that leaks from the implementation (such as power consumption), have been shown to be a non-negligible threat to modern…

Cryptography and Security · Computer Science 2023-10-26 Shan Jin , Minghua Xu , Yiwei Cai

Satisfiability solvers are increasingly playing a key role in software verification, with particularly effective use in the analysis of security vulnerabilities. String processing is a key part of many software applications, such as…

Computational Complexity · Computer Science 2009-03-17 Susmit Jha , Sanjit A. Seshia , Rhishikesh Limaye

In recent years, the use of large language models (LLMs) to generate music content, particularly lyrics, has gained in popularity. These advances provide valuable tools for artists and enhance their creative processes, but they also raise…

Computation and Language · Computer Science 2025-04-25 Yanis Labrak , Markus Frohmann , Gabriel Meseguer-Brocal , Elena V. Epure

Advanced software supply chain (SSC) attacks are increasingly runtime-only and leave fragmented evidence across hosts, services, and build/dependency layers, so any single telemetry stream is inherently insufficient to reconstruct full…

Cryptography and Security · Computer Science 2026-03-18 Zhuoran Tan , Wenbo Guo , Taylor Brierley , Jiewen Luo , Jeremy Singer , Christos Anagnostopoulos

Cyber attacks have become a serious threat to the security of software systems. Many organizations have built their security knowledge bases to safeguard against attacks and vulnerabilities. However, due to the time lag in the official…

Cryptography and Security · Computer Science 2026-02-06 Ziyou Jiang , Lin Shi , Guowei Yang , Xuyan Ma , Fenglong Li , Qing Wang

We propose a novel approach for performing side-channel attacks on elliptic curve cryptography. Unlike previous approaches and inspired by the ``activity detection'' literature, we adopt a long-short-term memory (LSTM) neural network to…

Cryptography and Security · Computer Science 2025-02-25 Alberto Battistello , Guido Bertoni , Michele Corrias , Lorenzo Nava , Davide Rusconi , Matteo Zoia , Fabio Pierazzi , Andrea Lanzi

Recent advances in synthetic data generation (SDG) have been hailed as a solution to the difficult problem of sharing sensitive data while protecting privacy. SDG aims to learn statistical properties of real data in order to generate…

Machine Learning · Computer Science 2024-05-10 Meenatchi Sundaram Muthu Selva Annamalai , Andrea Gadotti , Luc Rocher
‹ Prev 1 4 5 6 7 8 10 Next ›