麻豆精品无码av,欧美1区2区,久久中文字幕乱码人妻,亚洲欧美另类少妇精品,在线看黄射,69pao高清,九九九久久久国产精品,子操大逼1234区,九九爱99热精品

1
點(diǎn)贊
0
評(píng)論
0
轉(zhuǎn)載
收藏

CFP: ACM TOSEM Special Section on Security and SE

../../../../../../var/folders/29/ypqb6f855ldd1kg7qg6n80gm0000gn/T/ro.nextwave.Snappy/ro.nextwave.Snappy/5CDCC00F-74A4-4E7C-A1E4

CFP: ACM TOSEM Special Section on Security and SE

Home Page: https://dl.acm.org/journal/tosem/continuous-special-sections-on-security-and-SE

Guest Editors

Guest Editor-in-Chief:

  • Abhik Roychoudhury

Guest Editors:

  • Eric Bodden
  • Tevfik Bultan
  • Sam Malek
  • Zibin Zheng

We invite contributions for a continuous special section on Security and Software Engineering in ACM Transactions on Software Engineering and Methodology (TOSEM). Software systems are flexible and vulnerable. This leaves the possibility of exploiting such vulnerabilities to the detriment of the infra-structures operated by such software systems. The importance of confidential data in the modern society and the sensitivity in handling such data by software systems have raised the need to satisfy privacy considerations. The possibility of software systems to co-opt artificial intelligence (AI) components and open the door to novel attacks and defense has come to the fore, raising questions about security, privacy, and robustness.

Topics

The TOSEM continuous special section aims to provide high visibility to studies and results in security and privacy issues in engineering software systems. We welcome contributions on design, implementation, and applications of trustworthy software systems, ranging from proactive protection to reactive defense, from general to domain-specific areas, such as financial technologies. Contributions in this continuous special section may address but are not restricted to any of the following topics.

- Design and verification:

Software security by design, formal specifications, security requirements, formal verification techniques to ensure security, a priori program partitioning or isolated / enclaved execution to ensure security and confidentiality.

- Attack detection and defense:

Testing and analysis methods to enhance software security, fuzz testing, program hardening, patching of security vulnerabilities, program analysis methods for enhancing security such as taint analysis or symbolic analysis.

- Attack surfaces in specific technology domains:

Mobile security, IoT security, mobile app analysis, ensuring IoT software security with movement to 5G.

- Application domains covering different economy sectors:

Blockchains and smart contracts for fintech, privacy of confidential data in healthcare applications and any other relevant application domains, governance and policy frameworks for software certification in critical application domains, compliance to policies.

Manuscript Guidelines and Submission Information

TOSEM continuous special sections are journal sections that span across several consecutive issues and focus on emerging hot topics. Special section papers can be submitted at any time during the submission window and are reviewed within 90 days from the submission and within 45 days in the case of requests for a major revision. Special section papers shall be fast-impact track papers (papers that report completely new research results or present novel contributions that significantly extend and were not previously reported in prior work, with a page limit of 45 TOSEM pages not including bibliography) and in the scope of the call.

The call is open, and submissions are welcome at any time.

Submission: https://mc.manuscriptcentral.com/tosem

Kindly choose Special Section on Security and SE as submission type. Papers submitted to this special section are handled as fast-impact track papers. Hence, they must comply with the constraints of such track:

(1) they must qualify as journal-first papers;

(2) their length can be at most 45 pages (excluding bibliography).

附件
聲明:本內(nèi)容系學(xué)者網(wǎng)用戶(hù)個(gè)人學(xué)術(shù)動(dòng)態(tài)分享,不代表平臺(tái)立場(chǎng)。

中山大學(xué) 數(shù)據(jù)科學(xué)與計(jì)算機(jī)學(xué)院
SCHOLAT.com 學(xué)者網(wǎng)
免責(zé)聲明 | 關(guān)于我們 | 聯(lián)系我們
聯(lián)系我們:
返回頂部
肇源县| 潜山县| 禄丰县| 桓台县| 合水县| 桃园县| 绵阳市| 含山县| 武强县| 大竹县| 顺昌县| 罗城| 黄冈市| 容城县| 沧源| 永新县| 吉木萨尔县| 菏泽市| 门源| 五河县| 凤冈县| 林口县| 西昌市| 辽宁省| 高陵县| 黄冈市| 阿克苏市| 华宁县| 武清区| 赤水市| 白银市| 和龙市| 宾川县| 吉木萨尔县| 巢湖市| 电白县| 洛南县| 宣武区| 闻喜县| 洪江市| 桂林市|