NameVarela Vaca, Ángel Jesús
DepartmentLenguajes y Sistemas Informáticos
Knowledge areaLenguajes y Sistemas Informáticos
Professional categoryProfesor Titular de Universidad
E-mailRequest
           
  • No. publications

    123

  • No. visits

    6048

  • No. downloads

    13365


 

Book
Icon

IX Jornadas Nacionales de Investigación en Ciberseguridad

Reina Quintero, Antonia María; Ceballos Guerrero, Rafael; Varela Vaca, Ángel Jesús (2024)
La formación es una de las prioridades para el desarrollo de la ciberseguridad a nivel mundial, teniendo en cuenta el ...
Article
Icon

BIGOWL4DQ: Ontology-driven approach for Big Data quality meta-modelling, selection and reasoning

Barba González, Cristóbal; Caballero, Ismael; Varela Vaca, Ángel Jesús; Cruz Lemus, José Antonio; Gómez López, María Teresa; Navas Delgado, Ismael (Elsevier B.V., 2024)
Data quality should be at the core of many Artificial Intelligence initiatives from the very first moment in which data ...
Presentation
Icon

Deteccion de Spear Phishing basada en métodos de decisión multicriterio

Velo, José Mariano; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Una de las principales amenazas que existen hoy en día a nivel de ciberseguridad, es el phishing y especialmente el ...
Presentation
Icon

Ataque MitM a puntos de recarga AC

Jarauta Gastelu, Javier; Gesteira Miñarro, Roberto; Matanza, Javier; Palacios, Rafael; López, Gregorio; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
En este artículo presentamos un ataque MitM a puntos de recarga AC que permite controlar la carga del vehículo sin que el ...
Presentation
Icon

Analyzing frameworks to model disinformation attacks in online social networks

Cánovas López de Molina, Gonzalo; Sánchez González, Felipe; Nespoli, Pantaleone; Pastor Galindo, Javier; Ruipérez Valiente, José A.; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Disinformation campaigns are increasingly prevalent tactics employed by various actors to advance their agendas, underscoring ...
Presentation
Icon

Predicción conforme para enriquecer los modelos dinámicos de clasificación de aplicaciones maliciosas en escenarios de deriva conceptual

Escudero García, David; DeCastro García, Noemí; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El aprendizaje automático es uno de los principales enfoques utilizados para la detección de malware, ya que permite obtener ...
Presentation
Icon

Migración de una aplicación industrial a un entorno Quantum Safe: Comunicaciones industriales QKD

Brazaola, Aitor; Ruiz, Alejandra; Moreno, Aitor; López, Jorge; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Este artículo presenta la transferencia de conocimiento realizada entre TECNALIA e I3B sobre la tecnología Quantum Key ...
Presentation
Icon

Integración de un laboratorio de ciberseguridad OT en un laboratorio de automatización industrial

López Gómez, Alejandro Manuel; Rodríguez, Mondéjar, José Antonio; López, Gregorio; Mohedano, Jaime; Valencia, Agustín; Jarauta, Javier; Carrasco, Atanasio; Palacios, Rafael; Gesteira Miñarro, Roberto; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Si la ciberseguridad en las Tecnologías de la Informacion (IT, Information Technology) es una persona adulta, la ciberseguridad ...
Presentation
Icon

Framework de Seguridad Reforzado por Blockchain para Federated Learning en Entornos MEC-IoT

García Sáez, Luis Miguel; Ruiz Villafranca, Sergio; Carrillo Mondéjar, Javier; Roldán Gómez, José; Martínez Martínez, José Luis; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El auge de las arquitecturas distribuidas inherentes a los entornos Internet of Things (IoT) es notable en los últimos ...
Presentation
Icon

Segmentation of Illicit Behaviour in IoT via Artificial Immune Systems

Moreno Moreno, Mikel; Segurola Gil, Lander; Orduna Urrutia, Raúl; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
In recent years due to the increasing number of devices connected to the Internet in what is known as the era of the ...
Presentation
Icon

Análisis de supervivencia para la detección y clasificación de anomalías en vehículos

Menéndez Trillo, Pablo; Otero Vázquez, Fabián; Uña Álvarez, Jacobo; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Hoy en día la digitalización está presente en todos los ámbitos que nos podamos imaginar, y los vehículos no son una ...
Presentation
Icon

Diseño de un Grado en Ciberseguridad e Inteligencia Artificial

Román, Rodrigo; Agudo, Isaac; Ríos, Rubén; López, Javier; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La ciberseguridad y la inteligencia artificial son disciplinas estrechamente relacionadas con una importancia cada vez ...
Presentation
Icon

HackingLab UEx: Aplicación Web Interactiva para la Formación en Seguridad Web

López Trigo, Alberto; Alonso, Díaz, Javier; Javier Di Bartolo, Agustín; Sancho Núñez, José Carlos; Ávila Vegas, María Mar; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La cantidad de ataques cibernéticos que se producen en la actualidad y sus consecuencias son la razón de que las organizaciones ...
Presentation
Icon

Superación profesional en ciberseguridad, análisis y experiencias en la Universidad de las Ciencias Informáticas

González Brito, Henry Raúl; Montesino Perurena, Raydel; Pérez Pino, María Teresa; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
En el artículo se realiza un estudio sobre la importancia de la superación profesional en ciberseguridad para mantener ...
Presentation
Icon

Visualización y Estudio de un Ataque en Criptografía de Curva Elíptica

Cigala Álvarez, Óscar; Chinea Rangel, Luis; Caballero Gil, Pino; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Este trabajo presenta una implementación visual de algunos conceptos básicos de Criptografía de Curva Elíptica (ECC, ...
Presentation
Icon

Guardianes de la Galaxia: concienciación en Ciberseguridad

Fernández, Miguel; Lizárraga, Jesús; Vélez de Mendizábal, Iñaki; Rodríguez, Antón; Zurutuza, Urko; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
En este artículo se presenta una iniciativa de formación denominada “Guardianes de la Galaxia”, orientada a concienciar y ...
Presentation
Icon

IOTA-Enabled Decentralized Data Space for IIoT Ecosystems

Kovach, Anhelina; Montalvillo, Leticia; Urbieta, Aitor; Lanza, Jorge; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Securing interoperable and sovereign data exchange in the Industrial Internet of Things (IIoT) for machine data exploitation ...
Presentation
Icon

World App: El Secreto de tus Ojos está en los permisos Android

Aparicio, Amador; Martínez González, M. Mercedes; Criado Lozano, Pablo A.; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
A medida que se extiende el uso de dispositivos móviles, la privacidad en las aplicaciones móviles adquiere cada vez más ...
Presentation
Icon

Análisis de seguridad y privacidad de Asistentes Personales con voces reales y voces sintéticas

Palacios Castrillo, Clara; Palacios, Rafael; Gesteira Miñarro, Roberto; López, Gregorio; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
En este artículo se muestra el comportamiento de varios asistentes personales (Smart Personal Assistants, SPAs) en diversos ...
Presentation
Icon

Automated CyberExercise and CyberScenario generation framework

Cayuela Tudela, Alejandro David; Pastor Galindo, Javier; Nespoli, Pantaleone; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
The demand for cybersecurity and cyberdefence experts has increased to unprecedented levels. More qualified personnel are ...
Presentation
Icon

(Work in Progress): Clustering-Based Characterization of Database Server Ransom Scams

Liebergen, Kevin van; Gómez, Gibran; Matic, Srdjan; Caballero, Juan; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
We perform the first study of database server ransom scams, a class of attacks where attackers scan for database servers, ...
Presentation
Icon

GeoGebra para introducir los fundamentos de la criptografía basada en retículos

Pérez Ramos, Édgar; Caballero Gil, Pino; Reboso Morales, Héctor; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El avance y la amenaza que representa la computación cuántica plantean desafíos significativos para la seguridad de la ...
Presentation
Icon

Atenea Lab: Un laboratorio de IoT basado en software para formación, investigación y transferencia de conocimiento

Fuentes García, Marta; Fernández, Celia; Torres Fever, Marina; El Moga Sarria, Luis; Benítez Martínez, Francisco L.; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La cuarta Revolución Industrial ha tenido una fuerte explosión durante los últimos años. Muchas organizaciones invierten ...
Presentation
Icon

Minería de datos educativos para búsqueda de estrategias de resolución en Cyber Ranges

Alcantud Juárez, María del Carmen; Nespoli, Pantaleone; Ruipérez Valiente, José A.; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El uso de Cyber Ranges en la formacion de expertos en ciberseguridad es cada vez más común. Estos entrenamientos generan ...
Presentation
Icon

Pentesting en la Industria 5.0: metodología y tecnologías

Alcaraz, Cristina; Sánchez, José J.; López, Javier; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Se puede observar cada vez más como las nuevas tecnologías se adaptan a los ecosistemas industriales para ir modernizando ...
Presentation
Icon

Análisis del impacto de ciberataques neuronales aplicados a la vision

Lópezz Madejska, Victoria Magdalena; López Bernal, Sergio; Martínez Pérez, Gregorio; Huertas Celdrán, Alberto; Varela Vaca, Ángel Jesús; Reina Quintero, Antonia María; Ceballos Guerrero, Rafael (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Las interfaces cerebro-maquina (BCIs) son sistemas que interactúan con el cerebro para obtener información cerebral o ...
Presentation
Icon

Virtualización de un portafolio dinámico e interactivo para prácticas de laboratorio: la seguridad en redes de comunicaciones como ejemplo aplicado

Lanza, Jorge; Sotres, Pablo; Sánchez, Luis; Santana, Juan Ramón; García, Alberto E.; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La digitalización está transformando la educación adaptándola al individuo y facilitando el acceso a recursos educativos ...
Presentation
Icon

Privacidad en la distribución clásica de claves cuánticas mediante zk-SNARKs

Soler, David; Dafonte, Carlos; Nóvoa, Francisco; Fernández Veiga, M.; Fernández Vilas, A.; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Los números aleatorios de alta entropía son una parte esencial de la criptografía, y los generadores cuánticos de números ...
Presentation
Icon

La Transformada Teórica de Números para Kyber

Antuñano Cabrera, Néstor; Pérez Ramos, Édgar; Hernández Goya, Candelaria; Caballero Gil, Pino; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La Transformada Teórica de Números es un método eficiente para la multiplicación de dos polinomios de grado alto, ampliamente ...
Presentation
Icon

Exploración y evaluación de técnicas de reducción de características en Quantum Machine Learning

Reyes Dorta, Nuria; Caballero Gil, Pino; Rosa Remedios, Carlos; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
En este trabajo se profundiza en la aplicación práctica de diferentes técnicas de reducción de características sobre ...
Presentation
Icon

PQSec-DDS: Integrating Post-Quantum Cryptography into DDS Security for Robotic Applications

Blanco Romero, Javier; Lorenzo, Vicente; Almenares, Florina; Díaz Sánchez, Daniel; Serrano Navarro, Adrián; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Leading cybersecurity agencies and standardization bodies have globally emphasized the critical need to transition towards ...
Presentation
Icon

Optimización de circuitos cuánticos para la implementación de criptología cuántica

García Díaz, Jorge; Costa Cano, Francisco; Caballero Gil, Pino; Escánez Expósito, Daniel; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Actualmente la computación cuántica es uno de los temas de investigación que más atención está captando en diversas ...
Presentation
Icon

Análisis comparativo de las firmas digitales postcuánticas basadas en retículos

Iglesias Hernández, Eva; Hernández Álvarez, Luis; Hernández Encinas, Luis; Sánchez García, José Ignacio; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Después de la publicación de los algoritmos de Shor, la comunidad criptográfica ha aceptado que una vez que se desarrolle ...
Presentation
Icon

Sistema de caracterización de técnicas MITRE & ATT&CK en incidentes de ciberseguridad

Sánchez Zas, Carmen; Larriva Novo, Xavier; Villagrá, Víctor A.; Rivera, Diego; Solera Cotanilla, Sonia; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
En la actualidad, la ciberseguridad es un aspecto crítico debido a la complejidad creciente de los incidentes. Por ello ...
Presentation
Icon

Mitigación de ataques bizantinos usando modelos históricos en aprendizaje federado descentralizado

Martínez Beltrán, Enrique Tomás; Sánchez Sánchez, Pedro Miguel; Bovet, Gérôme; Martínez Pérez, Gregorio; Huertas Celdrán, Alberto; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El Aprendizaje Federado Descentralizado emerge como una solución prometedora para entrenar modelos de inteligencia artificial ...
Presentation
Icon

Automating cybersecurity TTP classification based on nnstructured attack descriptions

Castaño, Felipe; Gil Lerchundi, Amaia; Orduna Urrutia, Raúl; Fidalgo Fernández, Eduardo; Alaiz Rodríguez, Rocío; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
CTI sources help SOCs to share important information about incidents and attacks. Unstructured text processing gains ...
Presentation
Icon

Graphaviour: Bitcoin behaviour classification based on graph topological similarities

Medina, Jon Ander; Gorricho, Mikel; Segurola, Lander; Zola, Francesco; Orduna, Raúl; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (2024)
The” Graphaviour” study addresses the challenge of illicit activities in Bitcoin transactions by classifying behaviors ...
Presentation
Icon

Detection and Analysis of Hate-Driven Violence on Social Networks

Abuhamda, Yousef; García Teodoro, Pedro; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
In contemporary society, the widespread use of social networks such as Instagram, Facebook, TikTok and others facilitates ...
Presentation
Icon

Computación Multi-Parte en la Administración: Prueba de Concepto de Concesión de Becas en el Gobierno Vasco

Bernabé Rodríguez, Julen; Lage, Oscar; Guadilla Jiménez, Oscar; Urquiza, Borja; Gutiérrez Agüero, Iván; Gandarias Blanco, Endika; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Este trabajo aborda la necesidad de interoperabilidad en la prestación de servicios públicos y cómo, a pesar de su valor, ...
Presentation
Icon

MARISMA-SHIPS: Un nuevo patrón de riesgos para el entorno marítimo basado en la metodología MARISMA

Martínez, Ferney; Sánchez, Luis Enrique; Santos Olmo, Antonio; Rosado, David G.; Fernández Medina, Eduardo; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La ciberseguridad es crucial para prevenir, detectar y responder rápidamente a los ataques garantizando la continuidad y ...
Presentation
Icon

Detección de recapturas de pantalla en onboarding digital: estrategias para entornos de datos restringidos

Barriga Rodríguez, Ángel; Hernández Martín, Álvaro; González Sánchez, Belén; Nieto Acero, Javier; Santos Anés, Daniel; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Con la creciente expansión de la transformación digital, la importancia de garantizar la seguridad en los procesos de ...
Presentation
Icon

Divulgación dinámica y selectiva de identidad basada en pruebas de conocimiento cero

Santos Cabaleiro, Pablo; Martínez Luaña, Xavier; Prieto González, Jesús; Jiménez Balsa, Gonzalo; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Las carteras digitales de identidad se encuentran en el foco de muchos investigadores en los últimos años debido a la ...
Presentation
Icon

Estudio del tráfico de fondo de Internet mediante un telescopio de red situado en España

García Peñas, Rodolfo; Rodríguez Gómez, Rafael, A.; Maciá Fernández, Gabriel; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El tráfico de fondo de Internet está a formado por aquellos paquetes de red que son recibidos de forma no solicitada. Es ...
Presentation
Icon

Unleashing Security: Shaping the Resilient Future of 5G/B5G Network Orchestration

Landa Arrue, Aitor; Urbieta, Aitor; Garitano, Iñaki; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
In the era of Industry 4.0, expanding device connectivity via 5G and Beyond 5G (B5G) networks introduces significant ...
Presentation
Icon

Cyber Deception powered by Artificial Intelligence: Overview, Gaps, and Opportunities

Beltrán López, Pedro; Nespoli, Pantaleone; Gil Pérez, Manuel; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Cybersecurity is developing rapidly, and new methods of defense against attackers are appearing, such as Cyber Deception ...
Presentation
Icon

Hacia una propuesta de metodología para el desarrollo de proyectos de IA confiables

Braga, Carlos Mario; Serrano, Manuel A.; Fernández Medina, Eduardo; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
En los últimos meses hemos vivido la irrupción y rápida adopción de la Inteligencia Artificial Generativa (IAG), lo que ...
Presentation
Icon

Detección de contenido sensible en audio y vídeo mediante espectrogramas y aprendizaje por transferencia

Povedano Álvarez, Daniel; Sandoval Orozco, Ana Lucila; García Villalba; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Con la creciente proliferación del contenido multimedia en línea, surge la necesidad de garantizar la seguridad digital ...
Presentation
Icon

Usando un juego serio e IA causal para estudiar el ciberbullying

Pérez, Jaime; Castro, Mario; López, Gregorio; Awad, Edmond; Reneses, Maria; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El ciberbullying entre los menores de edad es una preocupación creciente en nuestra sociedad digital, que requiere estrategias ...
Presentation
Icon

Clasificación zero-shot de contenidos de la Dark Web mediante GPT-3.5: Evaluación de rendimiento y análisis de errores del clasificador

Prado Sánchez, Víctor Pablo; Domínguez Díaz, Adrián; Marcos, Luis; Martínez Herráiz, José Javier; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La clasificación automática de contenidos de la Dark Web es relevante para la detección e investigación de actividades ...
Presentation
Icon

Impacto de la evolución temporal de datasets reales en el rendimiento de un IDS basados en anomalías: estudio experimental sobre HTTP

Díaz Verdejo, J.; Estepa Alonso, R.; Muñoz Calle, F.J.; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El desarrollo y evaluación de sistemas de detección de intrusiones basados en anomalías es de vital importancia en el ...
Presentation
Icon

Leveraging Digital Twins and SIEM Integration for Incident Response in OT Environments

Arias, Adei; Arellano, Cristobal; Zurutuza, Urko; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
The Industrial Internet of Things (IIoT) has digitally transformed industrial processes albeit at the expense of increasing ...
Presentation
Icon

Towards TabTransformer-based Operating System Fingerprinting: A Preliminary Approach using the Nmap Database

Pérez Jove, Rubén; Pazos, Alejandro; Vázquez Naya, José; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
This work explores TabTransformers for operating system fingerprinting, leveraging their ability to learn relationships ...
Presentation
Icon

KMFC-GWO: A Hybrid Fuzzy-Metaheuristic Algorithm for Privacy Preserving in Graph-based Social Networks

Memarian, Saeideh; Oprescu, Andreea M.; Alexandre, Betsaida; Miró Amarante, Gloria; Romero Ternero, María del Carmen; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
In recent years, the proliferation of social networks has been remarkable, providing a rich source for data mining endeavours. ...
Presentation
Icon

Criptografía para problemas QUBO

Caruso, Mariano; Escánez Expósito, Daniel; Caballero Gil, Pino; Kuchkovsky, Carlos; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Los problemas cuadráticos sin restricciones de optimización binaria (QUBO) son ubicuos y pueden ser resueltos vía computación ...
Presentation
Icon

Ataques por canal lateral contra AES mediante correlación de consumo de potencia

González de la Torre, Miguel Ángel; Sarasa Laborda, Ventura; Hernández Álvarez, Luis; Morales Sandoval, Iván; Hernández Encinas, Luis; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Los ataques por canal lateral son un tipo de ataque que pretende vulnerar la seguridad de los algoritmos criptográficos ...
Presentation
Icon

Desarrollo de Servicios Confiables en Kubernetes Utilizando TEEs

Ferreiro Ferrón, Diego; López Feijoo, Mario; López Román, Iago; Vázquez Saavedra, Adrián; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La alta demanda de servicios en la nube y la cantidad de datos sensibles que procesan hace que sea primordial que ofrezcan ...
Chapter of Book
Icon

Introductory Chapter: An Overview to the Internet of Things

Domínguez Morales, Manuel Jesús; Varela Vaca, Ángel Jesús; Miró Amarante, María Lourdes (IntechOpen, 2023)
Article
Icon

Feature models to boost the vulnerability management process

Varela Vaca, Ángel Jesús; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Márquez Trujillo, Antonio Germán (Elsevier Inc., 2023)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ...
Article
Icon

ELI: an IoT-aware big data pipeline with data curation and data quality

de Haro Olmo, Francisco José; Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Álvarez Bermejo, José Antonio; Gómez López, María Teresa (PeerJ, 2023)
The complexity of analysing data from IoT sensors requires the use of Big Data technologies, posing challenges such as ...
PhD Thesis
Icon

On the enhancement of Big Data Pipelines through Data Preparation, Data Quality, and the distribution of Optimisation Problems

Valencia Parra, Álvaro; Gómez López, María Teresa; Varela Vaca, Ángel Jesús (2022)
Nowadays, data are fundamental for companies, providing operational support by facilitating daily transactions. Data has ...
Presentation
Icon

Advisory: vulnerability analysis in software development project dependencies

Márquez Trujillo, Antonio Germán; Galindo Duarte, José Ángel; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Benavides Cuevas, David Felipe (ACM: Association for Computing Machinery, 2022)
ecurity has become a crucial factor in the development of soft ware systems. The number of dependencies in software ...
Article
Icon

Feature models to boost the vulnerability management process

Varela Vaca, Ángel Jesús; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Márquez Trujillo, Antonio Germán (Elsevier, 2022)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ...
Presentation
Icon

Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert

Martínez, Jabier; Varela Vaca, Ángel Jesús (Springer, 2022)
The modelling of regulatory frameworks and industry stan dards, including their argumentation and expected evidence, are ...
Article
Icon

Reasoning on the usage control security policies over data artifact business process models

Estañol, Montserrat; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Teniente, Ernest; Martínez Gasca, Rafael (ComSIS Consortium, 2022)
The inclusion of security aspects in organizations is a crucial aspect to ensure compliance with both internal and external ...
Article
IconIcon

Smart Contract Languages: A Multivocal Mapping Study

Varela Vaca, Ángel Jesús; Reina Quintero, Antonia María (ACM: Association for Computing Machinery, 2022)
Blockchain is a disruptive technology that has attracted the attention of the scientific community and compa nies, as ...
Article
Icon

A domain-specific language for the specification of UCON policies

Reina Quintero, Antonia María; Martínez Pérez, Salvador; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Cabot, Jordi (Elsevier, 2022)
Security policies constrain the behavior of all users of an information system. In any non-trivial system, these security ...
Article
Icon

Blockchain‑based federation of wireless sensor nodes

Haro Olmo, F. J.; Álvarez Bermejo, J. A.; Varela Vaca, Ángel Jesús; López Ramos, J. A. (Springer, 2021)
Wireless sensor networks (WSNs), as an integral part of most Internet of Things (IoT) devices, are currently proliferating ...
Presentation
Icon

A NLP-Oriented Methodology to Enhance Event Log Quality

Ramos Gutiérrez, Belén; Varela Vaca, Ángel Jesús; Ortega Rodríguez, Francisco Javier; Gómez López, María Teresa; Wynn, Moe Thandar (Springer, 2021)
The quality of event logs is a crucial cornerstone for the feasibility of the application of later process mining techniques. ...
Article
Icon

Discovering configuration workflows from existing logs using process mining

Ramos Gutiérrez, Belén; Varela Vaca, Ángel Jesús; Galindo Duarte, José Ángel; Gómez López, María Teresa; Benavides Cuevas, David Felipe (Springer, 2021)
Variability models are used to build configurators, for guiding users through the configuration process to reach the desired ...
Article
Icon

DMN4DQ: when data quality meets DMN

Valencia Parra, Álvaro; Parody Núñez, María Luisa; Varela Vaca, Ángel Jesús; Caballero, Ismael; Gómez López, María Teresa (Elsevier, 2021)
To succeed in their business processes, organizations need data that not only attains suitable levels of quality for the ...
Presentation
Icon

CC4Spark: Distributing Event Logs and big complex Conformance Checking problems

Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Carmona, Josep (CEUR Workshop Proceedings (CEUR-WS.org), 2021)
Conformance checking is one of the disciplines that best exposes the power of process mining, since it allows detecting ...
Article
Icon

Data curation in the Internet of Things: A decision model approach

Haro Olmo, Francisco José de; Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Álvarez Bermejo, José Antonio (Wiley, 2021)
Current Internet of Things (IoT) scenarios have to deal with many challenges especially when a large amount of heterogeneous ...
Chapter of Book
Icon

Enabling Process Mining in Airbus Manufacturing : Extracting Event Logs and Discovering Processes from Complex Data

Valencia Parra, Álvaro; Ramos Gutiérrez, Belén; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; García Bernal, Antonio; Brocke, Jan Vom; Mendling, Jan; Rosemann, Michael (Springer, 2021)
Article
Icon

Empowering conformance checking using Big Data through horizontal decomposition

Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Carmona, Josep; Bergenthum, Robin (Elsevier, 2021)
Conformance checking unleashes the full power of process mining: techniques from this discipline enable the analysis of ...
Presentation
Icon

Curso de Especialización en Ciberseguridad, ¿están preparados nuestros docentes?

Haro Olmo, Francisco José de; Varela Vaca, Ángel Jesús; Álvarez Bermejo, José Antonio (Universidad de Castilla-La Mancha, 2021)
La aparición del nuevo título de Formación Profesional, Curso de Especialización en “Ciberseguridad en entornos de tecnologías ...
Article
IconIcon

CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems

Varela Vaca, Ángel Jesús; Rosado, David G.; Sánchez, Luis E.; Gómez López, María Teresa; Martínez Gasca, Rafael; Fernández Medina, Eduardo (Elsevier, 2021)
In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial ...
Presentation
Icon

Definition and Verification of Security Configurations of Cyber-Physical Systems

Varela Vaca, Ángel Jesús; Rosado, David G.; Sánchez, Luis Enrique; Gómez López, María Teresa; Martínez Gasca, Rafael; Fernández Medina, Eduardo (Springer, 2020)
The proliferation of Cyber-Physical Systems (CPSs) is rais ing serious security challenges. These are complex systems, ...
Presentation
Icon

AMADEUS: Towards the AutoMAteD secUrity teSting

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Carmona Fombella, José Antonio; Gómez López, María Teresa (ACM: Association for Computing Machinery, 2020)
The proper configuration of systems has become a fundamental factor to avoid cybersecurity risks. Thereby, the analysis ...
Article
Icon

Unleashing Constraint Optimisation Problem solving in Big Data environments

Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Parody Núñez, María Luisa; Gómez López, María Teresa (Elsevier, 2020)
The application of the optimisation problems in the daily decisions of companies is able to be used for finding the best ...
Article
Icon

Blockchain from the Perspective of Privacy and Anonymisation: A Systematic Literature Review

Haro Olmo, Francisco José de; Varela Vaca, Ángel Jesús; Álvarez Bermejo, José Antonio (MDPI, 2020)
The research presented aims to investigate the relationship between privacy and anonymisation in blockchain technologies ...
Article
Icon

Measuring data‑centre workfows complexity through process mining: the Google cluster case

Fernández Cerero, Damián; Varela Vaca, Ángel Jesús; Fernández Montes González, Alejandro; Gómez López, María Teresa; Álvarez Bermejo, José Antonio (Springer, 2020)
Data centres have become the backbone of large Cloud services and applica-tions, providing virtually unlimited elastic ...
Article
Icon

A framework to secure the development and auditing of SSL pinning in mobile applications: The case of android devices

Ramírez López, Francisco José; Varela Vaca, Ángel Jesús; Ropero Rodríguez, Jorge; Luque Rodríguez, Joaquín; Carrasco Muñoz, Alejandro (MDPI AG, 2019)
The use of mobile devices has undergone rapid growth in recent years. However, on some occasions, security has been neglected ...
Article
Icon

CyberSPL: Framework for the verification of cybersecurity policy compliance of system configurations using software product lines

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael; Gómez López, María Teresa; Bernáldez Torres, Pedro (MDPI, 2019)
Cybersecurity attacks affect the compliance of cybersecurity policies of the organisations. Such disadvantages may be due ...
Presentation
Icon

Enabling Process Mining in Aircraft Manufactures: Extracting Event Logs and Discovering Processes from Complex Data

Valencia Parra, Álvaro; Ramos Gutiérrez, Belén; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; García Bernal, Antonio (CEUR Workshop Proceedings (CEUR-WS.org), 2019)
Process mining is employed by organizations to completely understand and improve their processes and to detect possible ...
Master's Final Project
Icon

Analysis of Big Data Architectures and Pipelines: Challenges and Opportunities

Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa (2019)
Los continuos avances tecnológicos están promoviendo cambios en múltiples aspectos de la sociedad. Una de las consecuencias ...
Presentation
Icon

Guidelines towards secure SSL pinning in mobile applicationsand

Ramírez López, Francisco José; Varela Vaca, Ángel Jesús; Ropero Rodríguez, Jorge; Carrasco Muñoz, Alejandro; Caro Lindo, Andrés; García Villalba, Luis Javier; Sandoval Orozco, Ana Lucila (Universidad de Extremadura, 2019)
Security is a major concern in web applications for so long, but it is only recently that the use of mobile applications ...
Presentation
Icon

Process Mining to Unleash Variability Management: Discovering Configuration Workflows Using Logs

Varela Vaca, Ángel Jesús; Galindo Duarte, José Ángel; Ramos Gutiérrez, Belén; Gómez López, María Teresa; Benavides Cuevas, David Felipe (Association for Computing Machinery (ACM), 2019)
Variability models are used to build configurators. Configurators are programs that guide users through the configuration ...
Presentation
Icon

DMN for Data Quality Measurement and Assessment

Valencia Parra, Álvaro; Parody Núñez, María Luisa; Varela Vaca, Ángel Jesús; Caballero, Ismael; Gómez López, María Teresa (Springer, 2019)
Data Quality assessment is aimed at evaluating the suitability of a dataset for an intended task. The extensive literature ...
Article
Icon

Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models

Varela Vaca, Ángel Jesús; Parody Núñez, María Luisa; Martínez Gasca, Rafael; Gómez López, María Teresa (IEEE Computer Society, 2019)
Organizations execute daily activities to meet their objectives. The performance of these activities can be fundamental ...
Chapter of Book
Icon

Model-Based Software Debugging

Ceballos Guerrero, Rafael; Abreu, Rui; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Escobet, Teresa; Bregon, Anibal; Pulido, Belarmino; Puig, Vicenç (Springer, 2019)
The complexity and size of software systems have rapidly increased in recent years, with software engineers facing ...
Chapter of Book
Icon

Constraint-Driven Fault Diagnosis

Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Escobet, Teresa; Bregon, Anibal; Pulido, Belarmino; Puig, Vicenç (Springer, 2019)
Constraint-Driven Fault Diagnosis (CDD) is based on the concept of constraint suspension [6], which was proposed as an ...
Presentation
Icon

CyberSPL: Plataforma para la verificación del cumplimiento de políticas de ciberseguridad en configuraciones de sistemas usando modelos de caracterısticas

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael; Bernáldez Torres, Pedro (Universidad de Extremadura, 2019)
Los ataques de ciberseguridad se han convertido en un factor muy relevante que pueden contravenir el cumplimiento de las ...
Presentation
Icon

CHAMALEON: Framework to improve Data Wrangling with Complex Data

Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Ceravolo, Paolo (Association for Information Systems (AIS), 2019)
Data transformation and schema conciliation are relevant topics in Industry due to the incorporation of data-intensive ...
Article
Icon

Business Process Configuration According to Data Dependency Specification

Parody Núñez, María Luisa; Gómez López, María Teresa; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (MDPI AG, 2018)
Configuration techniques have been used in several fields, such as the design of business process models. Sometimes these ...
Presentation
Icon

Análisis de los datos y coreografia de múltiples procesos en entornos logísticos

Cisneros Carreño, Kevin Daniel; Varela Vaca, Ángel Jesús; Parody Núñez, María Luisa; Gómez López, María Teresa (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018)
Los procesos de negocio permiten la descripción de modelos colaborativos donde varios procesos y sus instancias se puedan ...
Presentation
Icon

FABIOLA: Towards the resolution of constraint optimization problems in big data environment

Parody Núñez, María Luisa; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Martínez Gasca, Rafael (Association for Information Systems (AIS), 2017)
The optimization problems can be found in several examples within companies, such as the minimization of the production ...
Presentation
Icon

FABIOLA: Arquitectura para la Optimización de Problemas en entornos de Big Data

Parody Núñez, María Luisa; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2017)
Dentro de las organizaciones, los problemas de optimización pueden encontrarse en numerosos ejemplos, tales como minimizar ...
Presentation
Icon

A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models

Varela Vaca, Ángel Jesús; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2016)
Artifact-centric initiatives have been used in business processes whose data management is complex, being the simple ...
Presentation
Icon

Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps

Pérez Álvarez, José Miguel; Gómez López, María Teresa; Varela Vaca, Ángel Jesús; Rosa Troyano, Francisco Fernando de la; Martínez Gasca, Rafael (Springer, 2016)
Business process management systems incorporate the pos sibility of monitoring the behaviour of a company, by observing ...
Presentation
Icon

Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models

Gómez López, María Teresa; Pérez Álvarez, José Miguel; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Springer, 2016)
Choreography in business processes is used as a mechanism to communicate various organizations, by providing a method to ...
Presentation
Icon

An Open-Source Proactive Security Infrastructure for Business Process Management

Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Jiménez Vargas, David; Martínez Gasca, Rafael; Suárez Fábrega, Antonio J.; Abad Herrera, Pedro J. (International Business Information Management Association (IBIMA), 2015)
Business Process Management Systems (BPMS) have emerged in the IT arena as cornerstone in the automation and orchestration ...
Article
Icon

Formalization of security patterns as a means to infer security controls in business processes

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Oxford University Press, 2015)
The growing trend towards the automation and externalization of business processes by means of Technology Infrastructure (TI), ...
Presentation
Icon

Towards Automatic Integration of Information Security Governance and Management using a BPMS approach

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Universidad de León, 2015)
The information security management is more and more carried out by means of business processes although disregarding ...
Presentation
Icon

Embedded Kernel customization to optimize performance and power management. An application to IoT

Álvarez Bermejo, José Antonio; Varela Vaca, Ángel Jesús; Gil Montoya, Francisco; López Ramos, Juan Antonio; Gil Montoya, Consolación (Sociedad de Arquitectura y Tecnología de Computadores (SARTECO), 2015)
Embedded systems are nowadays a cor- ner stone in research for areas such as Internet of Things. An interesting aspect ...
PhD Thesis
Icon

OPBUS : A Framework for Improving the Dependability of Risk-Aware Business processes

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (2013)
Hoy en día existe una creciente tendencia a externalizar y automatizar procesos críticos y complejos mediante el uso de ...
Article
Icon

Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Elsevier, 2013)
Context: The use of Business Process Management Systems (BPMS) has emerged in the IT arena for the automation of business ...
Presentation
Icon

CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling, Demonstration paper

Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (IEEE Computer Society, 2013)
Business Process models allow business experts to describe the activities that must be performed to achieve a defined goal. ...
Article
Icon

Improvement of Optimization Agreements in Business Processes involving Web Services

Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Martínez Gasca, Rafael; Parody Núñez, María Luisa (2012)
Presentation
Icon

A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes

Varela Vaca, Ángel Jesús; Warschofsky, Robert; Martínez Gasca, Rafael; Pozo Hidalgo, Sergio; Meinel, Christoph (Springer, 2012)
Risk management has become an essential mechanism for business and security analysts, since it enable the identification, ...
Article
Icon

CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework

Pozo Hidalgo, Sergio; Martínez Gasca, Rafael; Reina Quintero, Antonia María; Varela Vaca, Ángel Jesús (Elsevier, 2012)
Design, development, and maintenance of firewall ACLs are very hard and error-prone tasks. Two of the reasons for ...
Presentation
Icon

OPBUS: Risk-aware framework for the conformance of security-quality requirements in business processes

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Pozo Hidalgo, Sergio (IEEE Computer Society, 2011)
Several reports indicate that one of the most important business priorities is the improvement of business and IT management. ...
Presentation
Icon

A Model-Driven Engineering approach with Diagnosis of Non-Conformance of Security Objectives in Business Process Models

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Jiménez Ramírez, Andrés (IEEE Computer Society, 2011)
Several reports indicate that the highest business priorities include: business improvement, security, and IT management. The ...
Presentation
Icon

Contract-based test generation for data flow of business processes using constraint programming

Jiménez Ramírez, Andrés; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (IEEE Computer Society, 2011)
The verification of the properties of a business process (BP) has become a significant research topic in recent years. In ...
Article
Icon

Fault Tolerance Framework using Model-Based Diagnosis: Towards Dependable Business Processes

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Borrego Núñez, Diana; Pozo Hidalgo, Sergio (International Academy, Research, and Industry Association (IARIA), 2011)
Several reports indicate that one of the most important business priorities is the improvement of business and IT management. ...
Presentation
Icon

A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs

Pozo Hidalgo, Sergio; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (IEEE Computer Society, 2010)
Developing and managing firewall Access Control Lists (ACLs) are hard, time-consuming, and error-prone tasks for a variety ...
Presentation
Icon

OPBUS: Automating Structural Fault Diagnosis for Graphical Models in the Design of Business Processes

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Parody Núñez, María Luisa (The Prognostics and Health Management Society (PHM Society), 2010)
When quality is considered in the design stages of business processes, fault diagnosis must be taken into account. In the ...
Presentation
Icon

OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Springer, 2010)
Management and automation of business processes have become essential tasks within IT organizations. Nowadays, executable ...
Presentation
Icon

Towards Dependable Business Processes with Fault-Tolerance Approach

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Borrego Núñez, Diana; Pozo Hidalgo, Sergio (IEEE Computer Society, 2010)
The management and automation of business processes have become an essential tasks within IT organizations. Companies could ...
Presentation
Icon

Efficient algorithms and abstract data types for local inconsistency isolation in firewall ACLS

Pozo Hidalgo, Sergio; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (Institute for Systems and Technologies of Information, Control and Communication (INSTICC), 2009)
Writing and managing firewall ACLs are hard, tedious, time-consuming and error-prone tasks for a wide range of reasons. ...
Presentation
Icon

AFPL2, An Abstract Language for Firewall ACLs with NAT support

Pozo Hidalgo, Sergio; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (IEEE Computer Society, 2009)
The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the ...
Presentation
Icon

MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT

Pozo Hidalgo, Sergio; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Springer, 2009)
The design and management of firewall ACLs is a very hard and er ror-prone task. Part of this complexity comes from the ...
Presentation
Icon

Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (IEEE Computer Society, 2008)
Filtering is a very important issue in next generation networks. These networks consist of a relatively high number of ...
Presentation
Icon

Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (IEEE Computer Society, 2008)
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACLs could have ...