2020 Ivannikov Memorial Workshop (IVMEM)最新文献

ARPA: Armenian Paraphrase Detection Corpus and Models 亚美尼亚语释义检测语料库和模型

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00012

Arthur Malajyan, K. Avetisyan, Tsolak Ghukasyan

引用次数: 8

BinSide : Static Analysis Framework for Defects Detection in Binary Code 二进制代码缺陷检测的静态分析框架

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00007

H. Aslanyan, Mariam Arutunian, G. Keropyan, S. Kurmangaleev, V. Vardanyan

{"title":"BinSide : Static Analysis Framework for Defects Detection in Binary Code","authors":"H. Aslanyan, Mariam Arutunian, G. Keropyan, S. Kurmangaleev, V. Vardanyan","doi":"10.1109/IVMEM51402.2020.00007","DOIUrl":"https://doi.org/10.1109/IVMEM51402.2020.00007","url":null,"abstract":"Software developers make mistakes that can lead to failures of a software product. One approach to detect defects is static analysis: examine code without execution. Currently, various source code static analysis tools are widely used to detect defects. However, source code analysis is not enough. The reason for this is the use of third-party binary libraries, the unprovability of the correctness of all compiler optimizations. This paper introduces BinSide : binary static analysis framework for defects detection. It does interprocedural, context-sensitive and flow-sensitive analysis. The framework uses platform independent intermediate representation and provide opportunity to analyze various architectures binaries. The framework includes value analysis, reaching definition, taint analysis, freed memory analysis, constant folding, and constant propagation engines. It provides API (application programming interface) and can be used to develop new analyzers. Additionally, we used the API to develop checkers for classic buffer overflow, format string, command injection, double free and use after free defects detection.","PeriodicalId":325794,"journal":{"name":"2020 Ivannikov Memorial Workshop (IVMEM)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114780259","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}

引用次数: 3

Architecture and deployment details of scalable Jupyter environment at Kurchatov Institute supercomputing centre 库尔恰托夫研究所超级计算中心可扩展Jupyter环境的体系结构和部署细节

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00017

A. Teslyuk, S. Bobkov, Alexander Belyaev, Alexander Filippov, K. Izotov, I. Lyalin, Andrey Shitov, Leonid Yasnopolsky, V. Velikhov

引用次数: 0

A State-based Refinement Technique for Event-B 事件b的基于状态的细化技术

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00015

A. Khoroshilov, V. Kuliamin, A. Petrenko, I. Shchepetkov

引用次数: 0

High Energy Physics Data Popularity : ATLAS Datasets Popularity Case Study 高能物理数据普及:ATLAS数据集普及案例研究

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00010

M. Grigorieva, E. Tretyakov, A. Klimentov, D. Golubkov, T. Korchuganova, A. Alekseev, A. Artamonov, T. Galkin

{"title":"High Energy Physics Data Popularity : ATLAS Datasets Popularity Case Study","authors":"M. Grigorieva, E. Tretyakov, A. Klimentov, D. Golubkov, T. Korchuganova, A. Alekseev, A. Artamonov, T. Galkin","doi":"10.1109/IVMEM51402.2020.00010","DOIUrl":"https://doi.org/10.1109/IVMEM51402.2020.00010","url":null,"abstract":"The amount of scientific data generated by the LHC experiments has hit the exabyte scale. These data are transferred, processed and analyzed in hundreds of computing centers. The popularity of data among individual physicists and University groups has become one of the key factors of efficient data management and processing. It was actively used during LHC Run 1 and Run 2 by the experiments for the central data processing, and allowed the optimization of data placement policies and to spread the workload more evenly over the existing computing resources. Besides the central data processing, the LHC experiments provide storage and computing resources for physics analysis to thousands of users. Taking into account the significant increase of data volume and processing time after the collider upgrade for the High Luminosity Runs (2027– 2036) an intelligent data placement based on data access pattern becomes even more crucial than at the beginning of LHC. In this study we provide a detailed exploration of data popularity using ATLAS data samples. In addition, we analyze the geolocations of computing sites where the data were processed, and the locality of the home institutes of users carrying out physics analysis. Cartography visualization, based on this data, allows the correlation of existing data placement with physics needs, providing a better understanding of data utilization by different categories of user’s tasks.","PeriodicalId":325794,"journal":{"name":"2020 Ivannikov Memorial Workshop (IVMEM)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114823419","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}

引用次数: 2

Estimation of Watermark Embedding Capacity with Line Space Shifting 基于行空间移位的水印嵌入容量估计

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00011

A. Kozachok, S. Kopylov

{"title":"Estimation of Watermark Embedding Capacity with Line Space Shifting","authors":"A. Kozachok, S. Kopylov","doi":"10.1109/IVMEM51402.2020.00011","DOIUrl":"https://doi.org/10.1109/IVMEM51402.2020.00011","url":null,"abstract":"The article describes an analytical model of the maximum achievable embedding capacity evaluation for robust watermark based on the approach to information embedding in text data by line space shifting. The developed model allows to boundary values assessment of information amount that may contain a watermark embedded into text data printed. In the developing process of an analytical model, the dependence of maximum achievable embedding capacity on the lines amount of a text document and the used watermark embedding parameters was established. The relationship between the parameters of a text document and the lines number per page of a text document is mathematically described. Mathematical calculations of the obtained expressions and the corresponding experimental researches are conducted. The evaluation of obtained simulation results correspondence to the parameters of texts printed on paper is implemented. The simulation results are analyzed and a linear dependence of the results is established. The obtained values are approximated and analytical expressions that allow one to quantify the maximum achievable embedding capacity of the developed robust watermark depending on the embedding parameters used are received. The degree of contradictions between the following parameters of robust watermarks: embedding capacity, extractability and robustness is estimated. The relationship between the maximum achievable embedding capacity and the accuracy of the extraction of the developed watermark is determined. Quantitative estimates of the influence of the size of the watermark on the final extraction accuracy of embedded information are given. The further research directions are determined.","PeriodicalId":325794,"journal":{"name":"2020 Ivannikov Memorial Workshop (IVMEM)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133987245","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}

引用次数: 2

Possibilities of Computer Lexicography in Compiling Highly Specialized Terminological Printed and Electronic Dictionaries (Field of Aviation Engineering) 计算机词典编纂高度专业化术语印刷和电子词典的可能性(航空工程领域)

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00013

V. Ryzhkova

引用次数: 3

Classification of pseudo-random sequences based on the random forest algorithm 基于随机森林算法的伪随机序列分类

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00016

A. Kozachok, A. Spirin, Alexander I. Kozachok, Alexey N. Tsibulia

引用次数: 1

Title Page I 第一页

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/ivmem51402.2020.00001

引用次数: 0

Determining Soil Parameters 测定土壤参数

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00020

S. Zasukhin, E. Zasukhina

引用次数: 0