Browsing by Author "Escobar Román, Santiago"

A Modular Order-sorted Equational Generalization Algorithm

Alpuente Frasnedo, María; Escobar Román, Santiago; Espert Real, Javier; Meseguer, José (Elsevier, 2014-04)

Generalization, also called anti-unification, is the dual of unification. Given terms t and t , a generalizer is a term t of which t and t are substitution instances. The dual of a most general unifier (mgu) is that of ...

A Partial Evaluation Framework for Order-sorted Equational Programs modulo Axioms

Alpuente Frasnedo, María; Cuenca-Ortega, Angel Eduardo; Escobar Román, Santiago; Meseguer, José (Elsevier, 2020-01)

[EN] Partial evaluation is a powerful and general program optimization technique with many successful applications. Existing PE schemes do not apply to expressive rule-based languages like Maude, CafeOBJ, OBJ, ASF+SDF, and ...

A reconnaissance based automatic tool for origin server discovery through misconfigured web servers

Veciana Belmonte, Alex (Universitat Politècnica de València, 2022-09-09)

[EN] Content Delivery Networks (CDNs) and particularly those which integrate a Web Application Firewall (WAF) on them have experienced a rapid increase in usage over the past years. They consist of highly distributed servers ...

Abstract Certification of Java Programs in Rewriting Logic

Alba Castro, Mauricio Fernando (Universitat Politècnica de València, 2011-11-28)

In this thesis we propose an abstraction based certification technique for Java programs which is based on rewriting logic, a very general logical and semantic framework efficiently implemented in the functional programming ...

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance

Alpuente Frasnedo, María; Escobar Román, Santiago; Espert Real, Javier; Meseguer, José (Springer, 2014)

Computing generalizers is relevant in a wide spectrum of automated reasoning areas where analogical reasoning and inductive inference are needed. The ACUOS system computes a complete and minimal set of semantic generalizers ...

Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA

Santiago Pinazo, Sonia (Universitat Politècnica de València, 2015-03-31)

The area of formal analysis of cryptographic protocols has been an active one since the mid 80’s. The idea is to verify communication protocols that use encryption to guarantee secrecy and that use authentication of data ...

AMC - Tool support for automating Model Checking Lifecycle

López Pons, Luis Enrique (Universitat Politècnica de València, 2013-04-29)

In model checking, the most time consuming stage is oftentimes not writing the formal model (of the system to be analyzed) itself but validating the model: ensuring the correct system has been modeled, before ensuring ...

An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA

Aparicio-Sánchez, Damián; Escobar Román, Santiago; Gutiérrez Gil, Raúl; Sapiña-Sanchis, Julia (Springer Nature, 2020-09-18)

[EN] Maude-NPA is an analysis tool for cryptographic security protocols that takes into account the algebraic properties of the cryptosystem. Maude-NPA can reason about a wide range of cryptographic properties. However, ...

Analysis of the IBM CCA Security API Protocols in Maude-NPA

González Burgueño, Antonio; Santiago Pinazo, Sonia; Escobar Román, Santiago; Meadows, Catherine; Meseguer, Jose (Springer International Publishing, 2014)

Standards for cryptographic protocols have long been attractive candidates for formal verification. It is important that such standards be correct, and cryptographic protocols are tricky to design and subject to ...

Análisis de los riesgos y vulnerabilidades derivados de los servidores de streaming actuales

Cortes Castell, Fernando (Universitat Politècnica de València, 2021-09-23)

[ES] En el presente documento vamos a realizar un análisis de los riesgos y vulnerabilidades que tienen las plataformas de vídeo online hoy en día, se hace un análisis de por que creemos qué este tipo de servicios sustituirán ...

Análisis del troyano de acceso remoto PlugX

Ruiz Arráez, Daniel (Universitat Politècnica de València, 2021-04-20)

[ES] En este proyecto de fin de grado se lleva a cabo un análisis en detalle del troyano de acceso remoto referido principalmente como "PlugX" o “Korplug”, y popularmente utilizado por actores de origen chino. Para este ...

Aplicación de gestión de licencias

Querol Lloria, David (Universitat Politècnica de València, 2019-09-19)

[ES] En este proyecto se desarrolla una aplicación web destinada a la gestión de licencias de programas para uso empresarial. Su objetivo es agilizar los procesos de adquisición y liberación de dichas licencias para ...

Aplicación de políticas de seguridad y troubleshooting necesario para resolver incidencias en Firewalls de Nueva Generación

Fernández Cortés, Darío (Universitat Politècnica de València, 2022-09-20)

[ES] La seguridad en la red es fundamental en la actualidad debido al creciente aumento de amenazas y ataques, cada vez más sofisticados. En este trabajo se pretende realizar un análisis de los Firewalls de Nueva Generación, ...

Aseguramiento las comunicaciones embarcadas de un vehículo ferroviario

Cuñat Negueroles, Salvador (Universitat Politècnica de València, 2022-03-24)

[ES] La ciberseguridad es uno de los aspectos más importantes para la integración de las Tecnologías de la Información y Comunicaciones (TIC) en entornos modernos, como es el caso de los vehículos fabricados por la empresa ...

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis

Erbatur, Serdar; Escobar Román, Santiago; Kapur, Deepak; Liu, Zhiqiang; Lynch, Christopher A.; Meadows, Catherine; Meseguer, José; Narendran, Paliath; Santiago Pinazo, Sonia; Sasse, Ralf (Springer, 2013)

We present a new paradigm for unification arising out of a technique commonly used in cryptographic protocol analysis tools that employ unification modulo equational theories. This paradigm relies on: (i) a decomposition ...

Automation of Timed Processes in Maude-NPA using Maude

Aldama Medina, Claudia Daniela (Universitat Politècnica de València, 2021-10-07)

[ES] El desarrollo de este trabajo fin de grado tiene como objetivo automatizar el modelado de un protocolo con tiempo real en Maude-NPA. Se define una sintaxis nueva para procesos con tiempo junto con transformaciones ...

Callosa en Fiestas

Ferrando Berenguer, Jaume (Universitat Politècnica de València, 2018-10-29)

[ES] Callosa en Festes es un proyecto de renovación de una aplicación informativa de las fiestas populares ’Moros y Cristianos’ del pueblo Callosa d’en Sarrià. Trata de actualizar la tecnología, añadir una parte persistente ...

Caso real de las fases del desarrollo software de un sistema de gestión de datos para la toma de decisiones dentro de procesos de ingenieria relacionados con la fabricación y lanzamiento de modelos de vehículos en el mundo de la automoción

Laguna Hernández, Jorge (Universitat Politècnica de València, 2016-06-13)

[EN] This project was carried out within the framework of an employment relationship of the author of this project with the company ITERA Engineering Solutions SL with its clients to manufacturing plant Ford Motor Company ...

Constrained narrowing for conditional equational theories modulo axioms

Cholewa, Andrew; Escobar Román, Santiago; Meseguer, Jose (Elsevier, 2015-11)

For an unconditional equational theory (Sigma, E) whose oriented equations (E) over arrow are confluent and terminating, narrowing provides an E-unification algorithm. This has been generalized by various authors in two ...

Creación de un entorno controlado de análisis de Malware en Windows. Análisis y catalogación de un malware

Alcañiz Bautista, Iván Carlo (Universitat Politècnica de València, 2022-09-05)

[ES] Con el incremento de amenazas y ataques cibernéticos en estos últimos años, y cobrando más importancia con el aumento del teletrabajo y la educación a distancia, el malware ha obtenido más presencia que nunca. Se ...

Browsing by Author "Escobar Román, Santiago"

RiuNet: Institutional repository of the Polithecnic University of Valencia

Search RiuNet

Browse

All of RiuNet

My Account

RiuNet Help

Admin. UPV

Browsing by Author "Escobar Román, Santiago"