2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)最新文献

Extensions over OpenCL for Latency Reduction and Critical Applications 针对延迟减少和关键应用的OpenCL扩展

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.64

Grigore Lupescu, E. Slusanschi, N. Tapus

引用次数: 0

Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior 文本挖掘新闻系统-量化某些现象对股票市场行为的影响

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.65

M. Tirea, V. Negru

引用次数: 2

Web Application Security Using JSFlow 使用JSFlow的Web应用程序安全性

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.11

Daniel Hedin, A. Sabelfeld

{"title":"Web Application Security Using JSFlow","authors":"Daniel Hedin, A. Sabelfeld","doi":"10.1109/SYNASC.2015.11","DOIUrl":"https://doi.org/10.1109/SYNASC.2015.11","url":null,"abstract":"Web applications are often vulnerable to code injection attacks and to attacks through buggy or malicious libraries. Unfortunately, the current protection mechanisms are frequently ad-hoc, as a response to attacks after the fact. This had lead to a plethora of specialized protection mechanisms that are often brittle and insufficient to guarantee security. This extended abstract accompanies a tutorial on web application security using JSFlow, an information-flow aware interpreter for full non-strict ECMA-262(v.5). In contrast to access control, which most current protection mechanisms apply, information-flow control focuses on what applications are allowed to do with the information they access. This removes the inherent trust that access control places on entities that are granted access. Dispensing with this trust is key for the protection to withstand bypassing in the presence of untrustworthy 3rd party code and code injection attacks. Based on two practical attacks against an example web application Hrafn, we demonstrate the power of JSFlow. The attacks model the scenario where the current standards protection mechanism are bypassed or not applicable. By using a simple and natural security policy, we show how both attacks are prevented byJSFlow. Although information-flow control has not been tailor made to preventthis kind of attacks, it offers a uniform line of defense against untrustworthyand malicious code and ensures confidentiality of sensitive data.","PeriodicalId":6488,"journal":{"name":"2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"30 1","pages":"16-19"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84467104","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array 一种以微镜阵列为例的多尺度模型自动推导工具

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.17

W. Belkhir, N. Ratier, D. Nguyen, Bin Yang, M. Lenczner, F. Zamkotsian, Horatiu Cirstea

{"title":"Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array","authors":"W. Belkhir, N. Ratier, D. Nguyen, Bin Yang, M. Lenczner, F. Zamkotsian, Horatiu Cirstea","doi":"10.1109/SYNASC.2015.17","DOIUrl":"https://doi.org/10.1109/SYNASC.2015.17","url":null,"abstract":"This paper reports recent advances in the development of a symbolic asymptotic modeling software package, called MEMSALab, which will be used for automatic generation of asymptotic models for arrays of micro and nanosystems. More precisely, a model is a partial differential equation and an asymptotic method approximate it by another partial differential equation which can be numerically simulated in a reasonable time. The challenge consists in taking into account a wide range of different physical features and geometries e.g. thin structures, periodic structures, multiple nested scales etc. The main purpose of this software is to construct models incrementally so that model features can be included step by step. This idea, conceptualized under the name \"by-extension-combination\", is presented for the first time. A user friendly language recently introduced is also shortly discussed. We illustrate the mathematical operations that need to be implemented in MEMSALab by an example of an asymptotic model for the stationary heat equation in a Micro-Mirror Array developed for astrophysics.","PeriodicalId":6488,"journal":{"name":"2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"10 1","pages":"47-54"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81339586","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

Modeling Design Flaw Evolution Using Complex Systems 基于复杂系统的设计缺陷演化建模

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.70

George Ganea, Radu Marinescu

引用次数: 0

A Multi-agent Architecture for Ontology-Based Diagnosis of Mental Disorders 基于本体的精神障碍诊断的多智能体体系结构

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.69

Todor Ivascu, Bogdan Manate, V. Negru

引用次数: 14

A Framework for Integrating Heterogeneous Agent Communication Platforms 集成异构代理通信平台的框架

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.66

Andrei Olaru, A. Florea

引用次数: 1

Feature Extraction Using Genetic Programming with Applications in Malware Detection 遗传编程特征提取及其在恶意软件检测中的应用

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.43

Cristina Vatamanu, Dragos Gavrilut, Razvan Benchea, H. Luchian

{"title":"Feature Extraction Using Genetic Programming with Applications in Malware Detection","authors":"Cristina Vatamanu, Dragos Gavrilut, Razvan Benchea, H. Luchian","doi":"10.1109/SYNASC.2015.43","DOIUrl":"https://doi.org/10.1109/SYNASC.2015.43","url":null,"abstract":"This paper extends the authors' previous research on a malware detection method, focusing on improving the accuracy of the perceptron based - One Side Class Perceptron algorithm via the use of Genetic Programming. We are concerned with finding a proper balance between the three basic requirements for malware detection algorithms: (a) that their training time on large datasets falls below acceptable upper limits; (b) that their false positive rate (clean/legitimate files/software wrongly classified as malware) is as close as possible to 0 and (c) that their detection rate is as close as possible to 1. When the first two requirements are set as objectives for the design of detection algorithms, it often happens that the third objective is missed: the detection rate is low. This study focuses on improving the detection rate while preserving the small training time and the low rate of false positives. Another concern is to use the perceptron-based algorithm's good performance on linearly separable data, by extracting features from existing ones. In order to keep the overall training time low, the huge search space of possible extracted features is efficiently explored in terms of time and memory foot-print using Genetic Programming; better separability is sought for. For experiments we used a dataset consisting of 350,000 executable files with an initial set of 300 Boolean features describing each of them. The feature-extraction algorithm is implemented in a parallel manner in order to cope with the size of the data set. We also tested different ways of controlling the growth in size of the variable-length chromosomes. The experimental results show that the features produced by this method are better than the best ones obtained through mapping allowing for an increase in detection rate.","PeriodicalId":6488,"journal":{"name":"2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"157 1","pages":"224-231"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76432133","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

The Arithmetic of Even-Odd Trees 奇偶树的算术

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.23

Paul Tarau

引用次数: 0

A Rigorous Generic Branch and Bound Solver for Nonlinear Problems 非线性问题的一个严格的一般分支定界求解器

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2015-09-21 DOI: 10.1109/SYNASC.2015.20

Andrew P. Smith, C. Muñoz, Anthony Narkawicz, Mantas Markevicius

{"title":"A Rigorous Generic Branch and Bound Solver for Nonlinear Problems","authors":"Andrew P. Smith, C. Muñoz, Anthony Narkawicz, Mantas Markevicius","doi":"10.1109/SYNASC.2015.20","DOIUrl":"https://doi.org/10.1109/SYNASC.2015.20","url":null,"abstract":"Recursive branch and bound algorithms are often used, either rigorouslyor non-rigorously, to refine and isolate solutions to global optimizationproblems or systems of equations and inequalities involving nonlinearfunctions. The presented software library, Kodiak, integrates numericand symbolic computation into a generic framework for the solution of suchproblems over hyper-rectangular variable and parameter domains. Thecorrectness of both the generic branch and bound algorithm and the self-validating enclosure methods used, namely interval arithmetic and, for polynomials and rational functions, Bernstein expansion, has beenformally verified. The algorithm has three main instantiations, forsystems of equations and inequalities, for constrained global optimization, and for the computation of equilibria and bifurcation sets for systems ofordinary differential equations. For the latter category, and to enablethe computation of bisection heuristics to reduce the branching factor, advantage is taken of the partial derivatives of the constraint functions, which are symbolically manipulated. Pavings (unions of box subsets)for a continuum of solutions to underdetermined systems mayalso be produced. The capabilities of the software tool are outlined, andcomputational examples are presented.","PeriodicalId":6488,"journal":{"name":"2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"480 1","pages":"71-78"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89649549","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7