Results 51 to 60 of about 949,278 (287)

Noninterference via Symbolic Execution [PDF]

, 2012
Noninterference is a high-level security property that guarantees the absence of illicit information flow at runtime. Noninterference can be enforced statically using information flow type systems; however, these are criticized for being overly conservative and rejecting secure programs.
Milushev D., Beck W., Clarke D.
openaire   +3 more sources

Neurocognitive, School‐Based, and Quality of Life Outcomes for Youth With Sickle Cell Disease and Thalassemia: A Scoping Review

Pediatric Blood &Cancer, EarlyView.
ABSTRACT The medical burdens of sickle cell disease (SCD) and transfusion‐dependent β‐thalassemia (TDT) are chronic and cumulative, even in children. Yet the effects expand beyond medications and healthcare visits due to their impacts on school attendance, academic performance, and peer engagement.
Mary Ann Etling, Hakim Tokhi, Alexander A. Boucher   +2 more
wiley   +1 more source

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs [PDF]

Electronic Proceedings in Theoretical Computer Science, 2018
Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti   +4 more
doaj   +1 more source

Input Validation with Symbolic Execution

CoRR, 2021
Symbolic execution has always been plagued by the inability to handle programs that require highly structured inputs. Most often, the symbolic execution engine gets overwhelmed by the sheer number of infeasible paths and fails to explore enough feasible paths to gain any respectable coverage.
Anay Mehrotra, Ayush Bansal, Awanish Pandey, Subhajit Roy 0001   +3 more
openaire   +3 more sources

Reinforcement learning guided symbolic execution

, 2020
Symbolic execution is an indispensable technique for software testing and program analysis. Path-explosion is one of the key challenges in symbolic execution.
Chengyu Zhang (20877746), Jie Wu (10038), Geguang Pu (22963276)   +2 more
core   +5 more sources

In vitro and in silico modelling of ROS1‐positive non‐small cell lung cancer reveals fusion‐dependent tyrosine kinase inhibitor responses

Molecular Oncology, EarlyView.
Drug resistance limits treatment success in a subset of lung cancers driven by ROS1 gene alterations. Using patient‐derived cells and computer simulations, we studied three key mutations and how they affect five targeted drugs. The mutations reduced drug effectiveness in different ways by altering protein structure and behavior.
Farhan Ul Haq, Marc Terrones, Felicia Rodrigues Fortes, Anne Schepers, Alessia Denis, Christophe Deben, Ken Op de Beeck, Guy Van Camp, Geert Vandeweyer   +8 more
wiley   +1 more source

Comparing the Effect of Semi‐Immersive Virtual Reality, Computerized Cognitive Training, and Traditional Rehabilitation on Cognitive Function in Multiple Sclerosis: A Randomized Clinical Trial

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio, Desiree Latella, Lilla Bonanno, Paulo Cezar Rocha dos Santos, Marcos Maldonado‐Díaz, Meir Plotnik, Rosaria De Luca, Angelo Quartarone, Rocco Salvatore Calabrò   +8 more
wiley   +1 more source

Smart Contract Reentrancy Vulnerability Detection Based on Symbolic Execution [PDF]

Jisuanji gongcheng
The exploitation of reentrancy vulnerabilities represents one of the most destructive attacks among the security issues related to smart contracts. Existing methods often suffer from high false negative rates. To address these issues, this paper proposes
GAO Shan, WANG Chengyu, BI Chengming, ZHU Tieying
doaj   +1 more source

Detection Method for Heap Overflow fastbin Attack Based on Symbolic Execution [PDF]

Jisuanji gongcheng, 2020
The existing automatic detection systems for software vulnerabilities fail to automatically detect the programs with heap overflow vulnerabilities.To address the problem,this paper proposes an automatic detection method for heap overflow fastbin attacks ...
ZHAO Chao, PAN Zulie, FAN Jing
doaj   +1 more source

Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution

CoRR, 2018
Symbolic execution is a powerful technique for program analysis. However, it has many limitations in practical applicability: the path explosion problem encumbers scalability, the need for language-specific implementation, the inability to handle complex dependencies, and the limited expressiveness of theories supported by underlying satisfiability ...
Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena   +4 more
openaire   +3 more sources