BECAS
WAPPNER Daniel
datos académicos
Título/s
Licenciatura de Ciencias De la Computacion
Categoría
BECA INTERNA DOCTORAL
Disciplina científica
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA-OTRAS
Campo de aplicación
Prom.Gral.del Conoc.-Cs.de la Ing.y Arq.
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Especialidad
Ingeniería de Software
Tema
Usando modelos de comportamiento para la asistencia a auditores de contratos inteligentes
Tema en inglés
Using Behavioral Models to Assist Smart Contract Auditors
Palabras clave
contratos inteligentes // auditoría // análisis de programas
Palabras clave en inglés
smart contracts // software audits // program analysis
Director
GARBERVETSKY, DIEGO DAVID / INV INDEPENDIENTE
Lugar de trabajo
[ICC] INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
