首页 > 最新文献

2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)最新文献

英文 中文
An Intelligent Tutoring System for API Misuse Correction by Instant Quality Feedback 基于即时质量反馈的API误用纠正智能辅导系统
Pub Date : 2022-06-01 DOI: 10.1109/COMPSAC54236.2022.00026
Rui Zhao, Harvey P. Siy, Chulwoo Pack, Leen-Kiat Soh, Myoungkyu Song
Computer science students have difficulty understanding correct usages of an Application Programming Interface (API) and programming violations that cause compilation or runtime errors. Despite high-quality documentation for programming, the students typically need an instructor's feedback when their programs cause bugs, crashes, and vulnerabilities. This paper presents a pedagogical approach that is based on an Intelligent Tutoring System called INTTuToR. Briefly, INTTUTOR provides novice students with instant feedback to fix their programming issues or vulnerabilities. We have implemented our approach as a plug-in application in the Integrated Development Environment (IDE) for an interactive educational environment. In our proposed evaluation, we plan to perform empirical studies with CS students to assess how effectively INTTUTOR improves their ability to identify and fix potential bugs or vulnerabilities in the cryptography-related programming assignments.
计算机科学专业的学生很难理解应用程序编程接口(API)的正确用法以及导致编译或运行时错误的编程违规。尽管有高质量的编程文档,但当学生的程序导致错误、崩溃和漏洞时,他们通常需要教师的反馈。本文提出了一种基于智能辅导系统INTTuToR的教学方法。简而言之,INTTUTOR为新手提供即时反馈,以修复他们的编程问题或漏洞。我们已经将我们的方法实现为交互式教育环境的集成开发环境(IDE)中的插件应用程序。在我们提出的评估中,我们计划对CS学生进行实证研究,以评估INTTUTOR如何有效地提高他们识别和修复密码学相关编程作业中潜在错误或漏洞的能力。
{"title":"An Intelligent Tutoring System for API Misuse Correction by Instant Quality Feedback","authors":"Rui Zhao, Harvey P. Siy, Chulwoo Pack, Leen-Kiat Soh, Myoungkyu Song","doi":"10.1109/COMPSAC54236.2022.00026","DOIUrl":"https://doi.org/10.1109/COMPSAC54236.2022.00026","url":null,"abstract":"Computer science students have difficulty understanding correct usages of an Application Programming Interface (API) and programming violations that cause compilation or runtime errors. Despite high-quality documentation for programming, the students typically need an instructor's feedback when their programs cause bugs, crashes, and vulnerabilities. This paper presents a pedagogical approach that is based on an Intelligent Tutoring System called INTTuToR. Briefly, INTTUTOR provides novice students with instant feedback to fix their programming issues or vulnerabilities. We have implemented our approach as a plug-in application in the Integrated Development Environment (IDE) for an interactive educational environment. In our proposed evaluation, we plan to perform empirical studies with CS students to assess how effectively INTTUTOR improves their ability to identify and fix potential bugs or vulnerabilities in the cryptography-related programming assignments.","PeriodicalId":330838,"journal":{"name":"2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124809833","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}
引用次数: 0
LIBNVCD: An Extendable and User-friendly Multi-GPU Performance Measurement Tool LIBNVCD:一个可扩展和用户友好的多gpu性能测量工具
Pub Date : 2022-06-01 DOI: 10.1109/COMPSAC54236.2022.00019
Holland Schutte, Chase Phelps, Aniruddha Marathe, T. Islam
Cost and power efficiency considerations have driven High Performance Computing (HPC) system design inno-vations in accelerator-based heterogeneous computing. Complex interactions between applications and heterogeneous hardware make it difficult for users to extract maximum performance out of these systems. While there is a plethora of performance measurement and analysis tools for CPU s, the same is not the case for GPUs. Existing tools either provide too high-level information or are overly complicated to setup, impeding performance profiling. While NVIDIA's CUPTI profiling library enables basic kernel-level measurements on NVIDIA's GPUs, it does not provide root-causes of performance slowdown. This paper presents a low-overhead, flexible, and user-friendly tool, LIBNV CD, built on top of CUPTI to simplify performance measurement and analysis of NVIDIA GPUs. LIBNVCD simplifies obtaining fine-grained measurements, requiring only three function calls in source, while masking changes and complexities of CUPTI. By automatically discovering performance event groups, LIBNV CD reduces data collection overhead significantly as many events (not all) can be measured at once. This user-friendly multi-GPU performance measurement tool incurs a mean overhead of less than 1% as compared to CUPTI, and has been released publicly.
在基于加速器的异构计算中,成本和功率效率的考虑推动了高性能计算(HPC)系统设计的创新。应用程序和异构硬件之间复杂的交互使得用户很难从这些系统中获得最大的性能。虽然有大量的CPU性能测量和分析工具,但gpu的情况并非如此。现有的工具要么提供过于高级的信息,要么设置过于复杂,从而妨碍了性能分析。虽然NVIDIA的CUPTI分析库可以在NVIDIA的gpu上进行基本的内核级测量,但它并不能提供性能下降的根本原因。本文介绍了一种低开销、灵活且用户友好的工具LIBNV CD,它建立在CUPTI之上,以简化NVIDIA gpu的性能测量和分析。LIBNVCD简化了获得细粒度测量的过程,只需要在源代码中调用三个函数,同时屏蔽了CUPTI的变化和复杂性。通过自动发现性能事件组,libv CD大大减少了数据收集开销,因为可以一次测量许多事件(不是全部)。与CUPTI相比,这个用户友好的多gpu性能测量工具的平均开销不到1%,并且已经公开发布。
{"title":"LIBNVCD: An Extendable and User-friendly Multi-GPU Performance Measurement Tool","authors":"Holland Schutte, Chase Phelps, Aniruddha Marathe, T. Islam","doi":"10.1109/COMPSAC54236.2022.00019","DOIUrl":"https://doi.org/10.1109/COMPSAC54236.2022.00019","url":null,"abstract":"Cost and power efficiency considerations have driven High Performance Computing (HPC) system design inno-vations in accelerator-based heterogeneous computing. Complex interactions between applications and heterogeneous hardware make it difficult for users to extract maximum performance out of these systems. While there is a plethora of performance measurement and analysis tools for CPU s, the same is not the case for GPUs. Existing tools either provide too high-level information or are overly complicated to setup, impeding performance profiling. While NVIDIA's CUPTI profiling library enables basic kernel-level measurements on NVIDIA's GPUs, it does not provide root-causes of performance slowdown. This paper presents a low-overhead, flexible, and user-friendly tool, LIBNV CD, built on top of CUPTI to simplify performance measurement and analysis of NVIDIA GPUs. LIBNVCD simplifies obtaining fine-grained measurements, requiring only three function calls in source, while masking changes and complexities of CUPTI. By automatically discovering performance event groups, LIBNV CD reduces data collection overhead significantly as many events (not all) can be measured at once. This user-friendly multi-GPU performance measurement tool incurs a mean overhead of less than 1% as compared to CUPTI, and has been released publicly.","PeriodicalId":330838,"journal":{"name":"2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125032313","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}
引用次数: 0
Towards trustworthy tracing responsibility of collaborative software engineering artefacts of student's software projects 对学生软件项目的协作软件工程工件的可信赖的跟踪责任
Pub Date : 2022-06-01 DOI: 10.1109/COMPSAC54236.2022.00030
João Almeida, Vasco Amaral
Current document version control systems (VCS) are prone to impersonation in changes to the artefacts and their update history, risking its credibility. This is particularly problematic in specific application domains such as in Education, where teachers have to have the means to prevent and detect students' unethical behaviour or fraud, as grading is one of the essential pillars of trust in the correction and fairness in the conduct of the educational system. Therefore, there is a need for a completely secure, trustworthy and easy-to-use version management of digital artefacts, which can be used to introduce students to the world of version control. We thus propose a blockchain-based solution for version control of engineering artefacts. The goal is to facilitate collaboration in a multi-user area, like the education field, and track changes in a trusted and secure manner. As a proof of concept, we designed and implemented a solution using the Hyperledger Fabric Network to govern and regulate file version control functions among students and teachers. Our prototype is hosted on the cloud and uses Git and GitHub to hash and store the different artefact versions and the blockchain network to keep all the changes in a perpetual and immutable way tracing to their respective authors non-prone to forgery. Besides constructing the proof of concept tool prototype, we conducted a usability experiment. The results of the usability tests were positive, with users with limited experience in version control systems starting to use and comprehend the solution in little time. The next step will be to generalize and evolve this tool to other application scenarios where trustworthy tracing is essential.
当前的文档版本控制系统(VCS)很容易在工件及其更新历史的更改中进行模拟,从而危及其可信度。这在特定的应用领域尤其成问题,例如在教育领域,教师必须有办法防止和发现学生的不道德行为或欺诈,因为评分是对教育系统行为的纠正和公平信任的重要支柱之一。因此,需要一种完全安全、值得信赖和易于使用的数字工件版本管理,它可以用来向学生介绍版本控制的世界。因此,我们提出了一种基于区块链的解决方案,用于工程工件的版本控制。其目标是促进多用户领域(如教育领域)的协作,并以可信和安全的方式跟踪更改。作为概念验证,我们设计并实现了一个使用Hyperledger Fabric Network来管理和规范学生和教师之间的文件版本控制功能的解决方案。我们的原型托管在云上,使用Git和GitHub来散列和存储不同的工件版本,并使用区块链网络以永久和不可变的方式保持所有更改,跟踪到各自的作者,不易伪造。除了构建概念验证工具原型外,我们还进行了可用性实验。可用性测试的结果是积极的,在版本控制系统方面经验有限的用户在很短的时间内开始使用和理解解决方案。下一步是将此工具推广和发展到其他应用程序场景,在这些场景中,可信跟踪是必不可少的。
{"title":"Towards trustworthy tracing responsibility of collaborative software engineering artefacts of student's software projects","authors":"João Almeida, Vasco Amaral","doi":"10.1109/COMPSAC54236.2022.00030","DOIUrl":"https://doi.org/10.1109/COMPSAC54236.2022.00030","url":null,"abstract":"Current document version control systems (VCS) are prone to impersonation in changes to the artefacts and their update history, risking its credibility. This is particularly problematic in specific application domains such as in Education, where teachers have to have the means to prevent and detect students' unethical behaviour or fraud, as grading is one of the essential pillars of trust in the correction and fairness in the conduct of the educational system. Therefore, there is a need for a completely secure, trustworthy and easy-to-use version management of digital artefacts, which can be used to introduce students to the world of version control. We thus propose a blockchain-based solution for version control of engineering artefacts. The goal is to facilitate collaboration in a multi-user area, like the education field, and track changes in a trusted and secure manner. As a proof of concept, we designed and implemented a solution using the Hyperledger Fabric Network to govern and regulate file version control functions among students and teachers. Our prototype is hosted on the cloud and uses Git and GitHub to hash and store the different artefact versions and the blockchain network to keep all the changes in a perpetual and immutable way tracing to their respective authors non-prone to forgery. Besides constructing the proof of concept tool prototype, we conducted a usability experiment. The results of the usability tests were positive, with users with limited experience in version control systems starting to use and comprehend the solution in little time. The next step will be to generalize and evolve this tool to other application scenarios where trustworthy tracing is essential.","PeriodicalId":330838,"journal":{"name":"2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130006165","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}
引用次数: 0
ValidatorRep: Blockchain-based Trust Management for Ensuring Accountability in Crowdsourcing ValidatorRep:基于区块链的信任管理,确保众包中的问责制
Pub Date : 2022-06-01 DOI: 10.1109/COMPSAC54236.2022.00121
Ruilin Lai, Gansen Zhao
Crowdsourcing as a computing paradigm, has been widely used in industries and services. Accountability in crowdsourcing services enables participants to work honestly and improves the quality of services. The realization of accountability requires trusted evidence, multiparty verification, and fair reward or punishment. Blockchain technology, which is inherently tamper-resistant, traceable, and decentralized, puts forward a direction for realizing the requirements. However, in the process of data management and decentralized verification, it is hard to achieve a better trade-off between efficiency and security. This paper proposes a blockchain-based verification scheme integrated by trust management, ‘validatorRep’, that is suitable to enhance accountability in the crowdsourcing system. In detail, a decoupled blockchain model is proposed for the differentiated storage of business transactions and log transactions during data interaction. Additionally, a fine-grained trust model is proposed, including both the rep-utation of participants and the trust relationship between participants. Based on fine-grained trust, the decentralized verification scheme is designed to guarantee secure data access, trusted verification, and fair reward or punishment. Finally, the proposed framework is deployed on the Ethereum platform to observe its effectiveness and overall performance. Simulation results also reveal that the proposed fine-grained trust model can provide efficient accountability for crowdsourcing.
众包作为一种计算范式,已广泛应用于工业和服务业。众包服务中的问责制使参与者能够诚实地工作,并提高服务质量。问责制的实现需要可信的证据、多方核查和公平的奖惩。区块链技术本身具有防篡改、可追溯、去中心化的特点,为实现这些需求提出了一个方向。然而,在数据管理和去中心化验证的过程中,很难在效率和安全性之间实现更好的权衡。本文提出了一种基于区块链的验证方案,该方案集成了信任管理,即“validatorRep”,适用于增强众包系统中的问责制。针对数据交互过程中业务事务和日志事务的差异化存储,提出了一种解耦的区块链模型。此外,还提出了一个细粒度的信任模型,该模型既包括参与者的声誉,也包括参与者之间的信任关系。基于细粒度信任,去中心化验证方案旨在保证安全的数据访问、可信的验证和公平的奖惩。最后,将提出的框架部署在以太坊平台上,观察其有效性和整体性能。仿真结果表明,所提出的细粒度信任模型能够为众包提供有效的问责机制。
{"title":"ValidatorRep: Blockchain-based Trust Management for Ensuring Accountability in Crowdsourcing","authors":"Ruilin Lai, Gansen Zhao","doi":"10.1109/COMPSAC54236.2022.00121","DOIUrl":"https://doi.org/10.1109/COMPSAC54236.2022.00121","url":null,"abstract":"Crowdsourcing as a computing paradigm, has been widely used in industries and services. Accountability in crowdsourcing services enables participants to work honestly and improves the quality of services. The realization of accountability requires trusted evidence, multiparty verification, and fair reward or punishment. Blockchain technology, which is inherently tamper-resistant, traceable, and decentralized, puts forward a direction for realizing the requirements. However, in the process of data management and decentralized verification, it is hard to achieve a better trade-off between efficiency and security. This paper proposes a blockchain-based verification scheme integrated by trust management, ‘validatorRep’, that is suitable to enhance accountability in the crowdsourcing system. In detail, a decoupled blockchain model is proposed for the differentiated storage of business transactions and log transactions during data interaction. Additionally, a fine-grained trust model is proposed, including both the rep-utation of participants and the trust relationship between participants. Based on fine-grained trust, the decentralized verification scheme is designed to guarantee secure data access, trusted verification, and fair reward or punishment. Finally, the proposed framework is deployed on the Ethereum platform to observe its effectiveness and overall performance. Simulation results also reveal that the proposed fine-grained trust model can provide efficient accountability for crowdsourcing.","PeriodicalId":330838,"journal":{"name":"2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129568711","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}
引用次数: 0
A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems 基于自动驾驶系统中物体位置关系的形式化规范语言
Pub Date : 2022-06-01 DOI: 10.1109/COMPSAC54236.2022.00147
Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida
Automated driving systems(ADS) are major trend and the safety of such critical system has become one of the most important research topics. We usually use scenarios in order to define the specifications of ADS. In these scenarios, graphical diagrams are often used to represent abstractly the positioning and behavior of vehicles. However, such diagrams are not suitable for the development of high-reliability systems, because they are informal and may cause discrepancies among different engineers. In this paper, we propose a formal speci-fication language called Bounding Box Specification Language (BBSL) which allows us to write rigorous specifications of ADS. BBSL describe multiple types of objects in a driving environment, such as vehicles and pedestrians, as bounding boxes defined as two-dimensional interval, and describe positional relationships between them in mathematical notation. It is capable of strictly delineating many positional relationships while being also capable of expressing specifications that are concise enough to be read and written manually. Therefore, BBSL is suitable for describing the specification of Object and Event Detection and Response (OEDR) among the tasks of ADS. In this paper, we describe what kind of description BBSL enables, and describe its operations. Then, we show examples of specifications of ADS written in BBSL and discuss the advantages of specifications written in BBSL.
自动驾驶系统(ADS)是汽车行业发展的大势所趋,自动驾驶系统的安全性已成为汽车行业的重要研究课题之一。我们通常使用场景来定义ADS的规格。在这些场景中,通常使用图形图表来抽象地表示车辆的定位和行为。然而,这种图不适合开发高可靠性系统,因为它们是非正式的,并且可能导致不同工程师之间的差异。本文提出了一种形式化的规范语言,称为边界盒规范语言(Bounding Box Specification language, BBSL),它允许我们编写严格的ADS规范。BBSL将驾驶环境中的多种类型的对象(如车辆和行人)描述为定义为二维区间的边界盒,并用数学符号描述它们之间的位置关系。它能够严格地描述许多位置关系,同时也能够表达足够简洁的规范,以便手动读取和编写。因此,BBSL适用于描述ADS任务中对象和事件检测与响应(OEDR)的规范。本文描述了BBSL支持什么样的描述,以及它的操作。然后,我们展示了用BBSL编写的ADS规范示例,并讨论了用BBSL编写的规范的优点。
{"title":"A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems","authors":"Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida","doi":"10.1109/COMPSAC54236.2022.00147","DOIUrl":"https://doi.org/10.1109/COMPSAC54236.2022.00147","url":null,"abstract":"Automated driving systems(ADS) are major trend and the safety of such critical system has become one of the most important research topics. We usually use scenarios in order to define the specifications of ADS. In these scenarios, graphical diagrams are often used to represent abstractly the positioning and behavior of vehicles. However, such diagrams are not suitable for the development of high-reliability systems, because they are informal and may cause discrepancies among different engineers. In this paper, we propose a formal speci-fication language called Bounding Box Specification Language (BBSL) which allows us to write rigorous specifications of ADS. BBSL describe multiple types of objects in a driving environment, such as vehicles and pedestrians, as bounding boxes defined as two-dimensional interval, and describe positional relationships between them in mathematical notation. It is capable of strictly delineating many positional relationships while being also capable of expressing specifications that are concise enough to be read and written manually. Therefore, BBSL is suitable for describing the specification of Object and Event Detection and Response (OEDR) among the tasks of ADS. In this paper, we describe what kind of description BBSL enables, and describe its operations. Then, we show examples of specifications of ADS written in BBSL and discuss the advantages of specifications written in BBSL.","PeriodicalId":330838,"journal":{"name":"2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124586797","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}
引用次数: 0
EOSIOAnalyzer: An Effective Static Analysis Vulnerability Detection Framework for EOSIO Smart Contracts EOSIOAnalyzer:一个有效的EOSIO智能合约静态分析漏洞检测框架
Pub Date : 2022-06-01 DOI: 10.1109/COMPSAC54236.2022.00124
Wenyuan Li, Jiahao He, Gansen Zhao, Jinji Yang, Shuangyin Li, Ruilin Lai, P. Li, Hua Tang, Haoyu Luo, Ziheng Zhou
EOSIO smart contracts are programs that can be collectively executed by a network of mutually untrusted nodes. As EOSIO smart contracts manage valuable assets, they become high-value targets and are subjected to more and more attacks. Tools for protecting EOSIO smart contracts are imperative. This paper proposes EOSIOAnalyzer, an effective static secu-rity analysis framework for EOSIO smart contracts to counter the three most common attacks. The framework consists of three components, the control flow graph builder, the static analyzer and the vulnerability detector. This paper implements an approach to transforming low-level Wasm bytecode into a high-level intermediate representation (Register Transfer Language). Besides, this paper also implements vulnerability detection speci-fications for three popular EOSIO smart contracts vulnerabilities, including Fake EOS Transfer, Forged Transfer Notification and Block Information Dependency. As a proof of concept, this paper conducts experiments to evaluate the effectiveness and efficiency of the EOSIOAnalyzer. The experiment results show that the detection accuracy of the three vulnerabilities is 100 %, 98.8 % and 100%, respectively.
EOSIO智能合约是可以由相互不信任的节点组成的网络共同执行的程序。由于EOSIO智能合约管理着有价值的资产,它们成为高价值目标,并受到越来越多的攻击。保护EOSIO智能合约的工具是必不可少的。本文提出EOSIOAnalyzer,这是一个有效的静态安全分析框架,用于EOSIO智能合约,以对抗三种最常见的攻击。该框架由控制流图构建器、静态分析器和漏洞检测器三个部分组成。本文实现了一种将低级Wasm字节码转换为高级中间表示(寄存器传输语言)的方法。此外,本文还对Fake EOS Transfer、Forged Transfer Notification和Block Information Dependency三种流行的EOSIO智能合约漏洞实现了漏洞检测规范。作为概念验证,本文通过实验来评估EOSIOAnalyzer的有效性和效率。实验结果表明,三个漏洞的检测准确率分别为100%、98.8%和100%。
{"title":"EOSIOAnalyzer: An Effective Static Analysis Vulnerability Detection Framework for EOSIO Smart Contracts","authors":"Wenyuan Li, Jiahao He, Gansen Zhao, Jinji Yang, Shuangyin Li, Ruilin Lai, P. Li, Hua Tang, Haoyu Luo, Ziheng Zhou","doi":"10.1109/COMPSAC54236.2022.00124","DOIUrl":"https://doi.org/10.1109/COMPSAC54236.2022.00124","url":null,"abstract":"EOSIO smart contracts are programs that can be collectively executed by a network of mutually untrusted nodes. As EOSIO smart contracts manage valuable assets, they become high-value targets and are subjected to more and more attacks. Tools for protecting EOSIO smart contracts are imperative. This paper proposes EOSIOAnalyzer, an effective static secu-rity analysis framework for EOSIO smart contracts to counter the three most common attacks. The framework consists of three components, the control flow graph builder, the static analyzer and the vulnerability detector. This paper implements an approach to transforming low-level Wasm bytecode into a high-level intermediate representation (Register Transfer Language). Besides, this paper also implements vulnerability detection speci-fications for three popular EOSIO smart contracts vulnerabilities, including Fake EOS Transfer, Forged Transfer Notification and Block Information Dependency. As a proof of concept, this paper conducts experiments to evaluate the effectiveness and efficiency of the EOSIOAnalyzer. The experiment results show that the detection accuracy of the three vulnerabilities is 100 %, 98.8 % and 100%, respectively.","PeriodicalId":330838,"journal":{"name":"2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130573015","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
COMET: Co-simulation of Multi-Energy Systems for Energy Transition COMET:能量转换的多能量系统联合模拟
Pub Date : 2022-06-01 DOI: 10.1109/COMPSAC54236.2022.00212
Luca Barbierato, Daniele Salvatore Schiera, R. Scoccia, Alessandro Margara, Lorenzo Bottaccioli, E. Patti
The ongoing energy transition to reduce carbon emissions presents some of the most formidable challenges the energy sector has ever experienced, requiring a paradigm change that involves diverse players and heterogeneous concerns, including regulations, economic drivers, societal, and environmental aspects. Central to this transition is the adoption of integrated Multi-Energy Systems (MES) to efficiently produce, distribute, store, and convert energy among different vectors. A deep understanding of MES is fundamental to harness the potential for energy savings and foster energy transition towards a low carbon future. Unfortunately, the inherent complexity of MES makes them extremely difficult to analyze, understand, design and optimize. This work proposes a digital twin co-simulation platform that provides a structured basis to design, develop and validate novel solutions and technologies for multi-energy system. The platform will enable the definition of a virtual representation of the real-world (digital twin) as a composition of models (co-simulation) that analyze the environment from multiple viewpoints and at different spatio-temporal scales.
正在进行的减少碳排放的能源转型是能源部门所面临的一些最艰巨的挑战,需要涉及不同参与者和异质关注点的范式变革,包括法规、经济驱动因素、社会和环境方面。这种转变的核心是采用集成的多能系统(MES)来高效地生产、分配、存储和转换不同载体的能量。深入了解MES对于利用节能潜力和促进能源向低碳未来转型至关重要。不幸的是,MES固有的复杂性使其极难分析、理解、设计和优化。这项工作提出了一个数字孪生联合仿真平台,为设计、开发和验证多能系统的新解决方案和技术提供了结构化的基础。该平台将实现对现实世界的虚拟表示(数字孪生)的定义,作为从多个视点和不同时空尺度分析环境的模型(联合仿真)的组合。
{"title":"COMET: Co-simulation of Multi-Energy Systems for Energy Transition","authors":"Luca Barbierato, Daniele Salvatore Schiera, R. Scoccia, Alessandro Margara, Lorenzo Bottaccioli, E. Patti","doi":"10.1109/COMPSAC54236.2022.00212","DOIUrl":"https://doi.org/10.1109/COMPSAC54236.2022.00212","url":null,"abstract":"The ongoing energy transition to reduce carbon emissions presents some of the most formidable challenges the energy sector has ever experienced, requiring a paradigm change that involves diverse players and heterogeneous concerns, including regulations, economic drivers, societal, and environmental aspects. Central to this transition is the adoption of integrated Multi-Energy Systems (MES) to efficiently produce, distribute, store, and convert energy among different vectors. A deep understanding of MES is fundamental to harness the potential for energy savings and foster energy transition towards a low carbon future. Unfortunately, the inherent complexity of MES makes them extremely difficult to analyze, understand, design and optimize. This work proposes a digital twin co-simulation platform that provides a structured basis to design, develop and validate novel solutions and technologies for multi-energy system. The platform will enable the definition of a virtual representation of the real-world (digital twin) as a composition of models (co-simulation) that analyze the environment from multiple viewpoints and at different spatio-temporal scales.","PeriodicalId":330838,"journal":{"name":"2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130057703","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
A Longitudinal Study of Customer Electricity Load Profiles 客户电力负荷概况的纵向研究
Pub Date : 2022-06-01 DOI: 10.1109/COMPSAC54236.2022.00048
Etienne Gael Tajeuna, M. Bouguessa, Shengrui Wang
We present a novel approach for studying evolving customer electricity load profiles. Based on the daily changes that may happen in a power grid, we devise a network-based method to identify and track the evolution of electricity consumption patterns over days. The tracking of these evolving patterns enables us to: (a) use Cox regression and LSTM recurrent neural network for modeling the lifetime of electricity consumption profiles and (b) trace the trajectories of customer electricity consumption behaviors to perform load forecasting.
我们提出了一种新的方法来研究不断变化的客户电力负荷概况。基于电网中可能发生的日常变化,我们设计了一种基于网络的方法来识别和跟踪电力消耗模式在几天内的演变。对这些演变模式的跟踪使我们能够:(a)使用Cox回归和LSTM递归神经网络对电力消耗概况的生命周期进行建模;(b)跟踪客户电力消耗行为的轨迹,以执行负荷预测。
{"title":"A Longitudinal Study of Customer Electricity Load Profiles","authors":"Etienne Gael Tajeuna, M. Bouguessa, Shengrui Wang","doi":"10.1109/COMPSAC54236.2022.00048","DOIUrl":"https://doi.org/10.1109/COMPSAC54236.2022.00048","url":null,"abstract":"We present a novel approach for studying evolving customer electricity load profiles. Based on the daily changes that may happen in a power grid, we devise a network-based method to identify and track the evolution of electricity consumption patterns over days. The tracking of these evolving patterns enables us to: (a) use Cox regression and LSTM recurrent neural network for modeling the lifetime of electricity consumption profiles and (b) trace the trajectories of customer electricity consumption behaviors to perform load forecasting.","PeriodicalId":330838,"journal":{"name":"2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)","volume":"173 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116223140","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}
引用次数: 1
Off-the-shelf LoRaWAN: Experimenting on the prospect of a low-cost rapid prototyping solution 现成的LoRaWAN:对低成本快速原型解决方案的前景进行试验
Pub Date : 2022-06-01 DOI: 10.1109/COMPSAC54236.2022.00159
Florian Hofer, Clemens Kuen
The growing popularity of cloud computing and the Internet of Things for private use increased the availability of off-the-shelf device solutions. This shift is particularly the case for widely distributed networks that allow community use like LoRa Wan. However, it is still unclear how mature these products are for use beyond hobbyist needs. Therefore, this paper examines selected off-the-shelf devices and gateways and explores their suitability through experimentation in a LoRaWAN community-enabled infrastructure. In addition, we extend lacking function-ality and report shortcomings and bug fixes.
云计算和私人使用物联网的日益普及增加了现成设备解决方案的可用性。这种转变对于像LoRa Wan这样允许社区使用的广泛分布的网络来说尤其如此。然而,目前还不清楚这些产品是否成熟到足以满足业余爱好者的需求。因此,本文考察了选定的现成设备和网关,并通过在支持LoRaWAN社区的基础设施中的实验探索了它们的适用性。此外,我们扩展缺乏的功能,并报告缺点和错误修复。
{"title":"Off-the-shelf LoRaWAN: Experimenting on the prospect of a low-cost rapid prototyping solution","authors":"Florian Hofer, Clemens Kuen","doi":"10.1109/COMPSAC54236.2022.00159","DOIUrl":"https://doi.org/10.1109/COMPSAC54236.2022.00159","url":null,"abstract":"The growing popularity of cloud computing and the Internet of Things for private use increased the availability of off-the-shelf device solutions. This shift is particularly the case for widely distributed networks that allow community use like LoRa Wan. However, it is still unclear how mature these products are for use beyond hobbyist needs. Therefore, this paper examines selected off-the-shelf devices and gateways and explores their suitability through experimentation in a LoRaWAN community-enabled infrastructure. In addition, we extend lacking function-ality and report shortcomings and bug fixes.","PeriodicalId":330838,"journal":{"name":"2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122423402","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}
引用次数: 1
A Novel Optimal Profit Resilient Filter Pairs Trading Strategy for Cryptocurrencies 一种新的最优盈利弹性过滤器对加密货币交易策略
Pub Date : 2022-06-01 DOI: 10.1109/COMPSAC54236.2022.00201
You Liang, A. Thavaneswaran, Alex Paseka, W. Qiao, M. Ghahramani, Sulalitha Bowala
Pairs trading strategies are constructed based on exploiting mean reversion in security prices, which have been demonstrated to perform well for stocks. However, their performance is not widely studied for cryptocurrencies, which are usually discerned as inefficient and unpredictable. One significant advantage of pairs trading is that potential profits can be generated regardless of the overall market movement. The pairs trading has the potential to be profitable for cryptocurrencies in bear markets and with intraday data. Kalman filter (KF) algorithms are popular for pairs trading to update the hedge ratio dynamically. They reduce the arbitrariness in parameter optimization by putting constraints on the parameter space. However, a major drawback is that the innovation volatility estimate calculated by using a KF algorithm is always affected by the initial values and outliers. An effective resilient filtering approach to estimate the innovation volatility is presented in this paper for cryptocurrencies. This paper presents rolling regression pairs trading strategies, traditional KF pairs trading strategies and resilient filter pairs trading strategies. The proposed trading strategies have been evaluated through some experiments on hourly Bitcoin USD and Ethereum USD prices and it is shown that the proposed resilient filter trading strategy is much more stable to initial values than the traditional KF trading strategy.
对交易策略是基于利用证券价格的均值回归构建的,这已被证明对股票表现良好。然而,它们的性能并没有被广泛研究用于加密货币,加密货币通常被认为是低效和不可预测的。配对交易的一个显著优势是,无论整体市场走势如何,都可以产生潜在的利润。在熊市和日内数据下,加密货币对交易有可能盈利。卡尔曼滤波(KF)算法在配对交易中非常流行,它可以动态更新套期保值比率。它们通过对参数空间施加约束来降低参数优化的随意性。然而,利用KF算法计算的创新波动率估计总是受到初始值和离群值的影响,这是一个主要的缺点。本文提出了一种有效的弹性滤波方法来估计加密货币的创新波动率。本文介绍了滚动回归对交易策略、传统KF对交易策略和弹性滤波对交易策略。通过对比特币美元和以太坊美元每小时价格的实验对所提出的交易策略进行了评估,结果表明,所提出的弹性过滤器交易策略比传统的KF交易策略对初始值的稳定性要高得多。
{"title":"A Novel Optimal Profit Resilient Filter Pairs Trading Strategy for Cryptocurrencies","authors":"You Liang, A. Thavaneswaran, Alex Paseka, W. Qiao, M. Ghahramani, Sulalitha Bowala","doi":"10.1109/COMPSAC54236.2022.00201","DOIUrl":"https://doi.org/10.1109/COMPSAC54236.2022.00201","url":null,"abstract":"Pairs trading strategies are constructed based on exploiting mean reversion in security prices, which have been demonstrated to perform well for stocks. However, their performance is not widely studied for cryptocurrencies, which are usually discerned as inefficient and unpredictable. One significant advantage of pairs trading is that potential profits can be generated regardless of the overall market movement. The pairs trading has the potential to be profitable for cryptocurrencies in bear markets and with intraday data. Kalman filter (KF) algorithms are popular for pairs trading to update the hedge ratio dynamically. They reduce the arbitrariness in parameter optimization by putting constraints on the parameter space. However, a major drawback is that the innovation volatility estimate calculated by using a KF algorithm is always affected by the initial values and outliers. An effective resilient filtering approach to estimate the innovation volatility is presented in this paper for cryptocurrencies. This paper presents rolling regression pairs trading strategies, traditional KF pairs trading strategies and resilient filter pairs trading strategies. The proposed trading strategies have been evaluated through some experiments on hourly Bitcoin USD and Ethereum USD prices and it is shown that the proposed resilient filter trading strategy is much more stable to initial values than the traditional KF trading strategy.","PeriodicalId":330838,"journal":{"name":"2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126648924","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
期刊
2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1