Catálogo de publicaciones - actas de congreso
Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2020 | ACM Digital Library |
Información
Tipo de recurso:
actas de congreso
ISBN impreso
978-1-4503-8126-0
Editor responsable
Association for Computing Machinery (ACM)
País de edición
Estados Unidos
Fecha de publicación
2020-11-09
Información sobre derechos de publicación
Copyright © ACM, Inc.
Cobertura temática
Tabla de contenidos
Verificá que desde tu institución tengas acceso para descargar o
solicitar el libro completo o alguno de sus capítulos.
Robustness analysis for secure software design
Eunsuk Kang
Pp. No disponible
Using dynamically inferred invariants to analyze program runtime complexity
ThanhVu Nguyen; Didier Ishimwe; Alexey Malyshev; Timos Antonopoulos; Quoc-Sang Phan
Pp. No disponible
Towards automated, provenance-driven security audit for git-based repositories: applied to germany's corona-warn-app: vision paper
Tim Sonnekalb
; Thomas S. Heinze; Lynn von Kurnatowski; Andreas Schreiber; Jesus M. Gonzalez-Barahona; Heather Packer
Pp. No disponible
Comparing formal models of IoT app coordination analysis
Clay Stevens; Mohannad Alhanahnah; Qiben Yan; Hamid Bagheri
Pp. No disponible
The future of software security is instrumentation (keynote)
Jeff Williams
Pp. No disponible
Security engineering for machine learning (keynote)
Gary McGraw
Pp. No disponible