K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering ◽

10.5220/0006786603590366 ◽

2018 ◽

Author(s):

Md. Imran Alam ◽

Raju Halder ◽

Harshita Goswami ◽

Jorge Sousa Pinto

Keyword(s):

Rewriting Logic ◽

Download Full-text

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

Multiagent and Grid Systems ◽

10.3233/mgs-180298 ◽

2019 ◽

Vol 14 (4) ◽

pp. 403-418 ◽

Author(s):

Ammar Boucherit ◽

Abdallah Khababa ◽

Laura M. Castro

Keyword(s):

Multi Agent System ◽

Rewriting Logic ◽

Agent System ◽

System Models ◽

Download Full-text

Compositional Taint Analysis of Native Codes for Security Vetting of Android Applications

2020 10th International Conference on Computer and Knowledge Engineering (ICCKE) ◽

10.1109/iccke50421.2020.9303643 ◽

2020 ◽

Author(s):

Seyed Behnam Andarzian ◽

Behrouz Tork Ladani

Keyword(s):

Taint Analysis ◽

Android Applications

Download Full-text

A Rewriting Logic Approach to Static Checking of Units of Measurement in C

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2012.11.011 ◽

2012 ◽

Vol 290 ◽

pp. 51-67 ◽

Author(s):

Mark Hills ◽

Feng Chen ◽

Grigore Roşu

Keyword(s):

Rewriting Logic ◽

Units Of Measurement ◽

Logic Approach ◽

Static Checking

Download Full-text

On the Deployment of Dynamic Taint Analysis for Application Communities

IEICE Transactions on Information and Systems ◽

10.1587/transinf.e92.d.548 ◽

2009 ◽

Vol E92-D (3) ◽

pp. 548-551 ◽

Author(s):

Hyung Chan KIM ◽

Angelos KEROMYTIS

Keyword(s):

Download Full-text

NLEU: A Semantic-based Taint Analysis for Vetting Apps in Android

10.1109/nana53684.2021.00063 ◽

2021 ◽

Author(s):

Yuanqing Liu ◽

Ning Xi ◽

Yongbo Zhi

Keyword(s):

Download Full-text

Application of Taint Analysis to Study the Safety of Software of the Internet of Things Devices Based on the ARM Architecture

Automatic Control and Computer Sciences ◽

10.3103/s0146411620080246 ◽

2020 ◽

Vol 54 (8) ◽

pp. 834-840

Author(s):

T. D. Ovasapyan ◽

P. V. Knyazev ◽

D. A. Moskvin

Keyword(s):

Internet Of Things ◽

The Internet ◽

Taint Analysis ◽

The Internet Of Things

Download Full-text

A Rewriting Logic Implementation of Erlang

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80928-9 ◽

2001 ◽

Vol 44 (2) ◽

pp. 206-224 ◽

Author(s):

Thomas Noll

Keyword(s):

Rewriting Logic

Download Full-text

Design and implementation of a dependence-based taint analysis

2016 11th International Conference on Computer Science & Education (ICCSE) ◽

10.1109/iccse.2016.7581718 ◽

2016 ◽

Author(s):

Guo Fan ◽

Zhou Xuan

Keyword(s):

Taint Analysis ◽

Design And Implementation

Download Full-text

Efficient Taint Analysis with Taint Behavior Summary

2011 Third International Conference on Communications and Mobile Computing ◽

10.1109/cmc.2011.76 ◽

2011 ◽

Author(s):

Ruoyu Zhang ◽

Shan Huang ◽

Zhengwei Qi

Keyword(s):

Download Full-text

Modeling Distributed Systems in Rewriting Logic

Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science ◽

10.1007/978-1-4471-6687-0_8 ◽

2017 ◽

pp. 127-144 ◽

Author(s):

Peter Csaba Ölveczky

Keyword(s):

Distributed Systems ◽

Rewriting Logic

Download Full-text