Skip to content
View leochenseu's full-sized avatar

Block or report leochenseu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
leochenseu/README.md

👋 您好,我是陈尔卓

🎓 学术背景

  • 🏫 上海师范大学 计算机系 讲师
  • 🔬 研究方向:访问控制,软件安全,AI+教育
  • 📚 主讲课程:《操作系统》、《C语言程序设计》

🔍 研究兴趣

  • 访问控制
  • 软件安全
  • AI+教育

📖 近期工作

  • 📄 论文:

(1) Erzhuo Chen; Vlad Dubrovenski; Dianxiang Xu ; Detecting Errors in NGAC Policies Via Fault-Based Testing, IEEE Transactions on Dependable and Secure Computing (TDSC), 2024, 22(1): 263-278

(2) Erzhuo Chen; Vladislav Dubrovenski; Dianxiang Xu ; Mutation Analysis of NGAC Policies, SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies

(3) Erzhuo Chen; Vladislav Dubrovenski; Dianxiang Xu ; Coverage-Based Testing of Obligations in NGAC Systems, SACMAT '23: The 28th ACM Symposium on Access Control Models and Technologies

(4) Vladislav Dubrovenski; Erzhuo Chen; Dianxiang Xu ; SMT-Based Verification of NGAC Policies, COMPSAC '23: The IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC)

(5) Vladislav Dubrovenski; Md Nazmul Karim; Erzhuo Chen; Dianxiang Xu ; Dynamic Access Control with Administrative Obligations: A Case Study, QRS '23: The IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)

  • 💻 项目:
  • 📚 教学:

📫 联系方式

Popular repositories Loading

  1. hello-world hello-world Public

  2. leochenseu leochenseu Public