Software Engineering · Computer Science
Experience in using a typed functional language for the development of a security application
Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek
2014-04-29
Cryptography and Security · Computer Science
A Taxonomy of Functional Security Features and How They Can Be Located
Kevin Hermann, Simon Schneider, Catherine Tony, Asli Yardim +5
2025-09-30
Software Engineering · Computer Science
An Exploratory Study on the Engineering of Security Features
Kevin Hermann, Sven Peldszus, Jan-Philipp Steghöfer, Thorsten Berger
2025-09-30
Computation and Language · Computer Science
A Survey on Natural Language Processing for Programming
Qingfu Zhu, Xianzhen Luo, Fang Liu, Cuiyun Gao +1
2023-08-08
Cryptography and Security · Computer Science
A Data-Mining Based Study of Security Vulnerability Types and Their Mitigation in Different Languages
Gábor Antal, Balázs Mosolygó, Norbert Vándor, Péter Hegedüs
2024-05-15
Programming Languages · Computer Science
Combining behavioural types with security analysis
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini +6
2015-10-09
Programming Languages · Computer Science
Feature-Specific Profiling
Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
2018-09-13
Programming Languages · Computer Science
Automatic Coding Rule Conformance Checking Using Logic Programs
Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz, Lars-Åke Fredlund +2
2007-11-06
Programming Languages · Computer Science
Benchmarking for Integrating Logic Rules with Everything Else
Yanhong A. Liu, Scott D. Stoller, Yi Tong, K. Tuncay Tekle
2023-08-31
Software Engineering · Computer Science
Implementation of Security Features in Software Development Phases
Ariessa Davaindran Lingham, Nelson Tang Kwong Kin, Chen Wan Jing, Chong Heng Loong +1
2020-12-25