弗雷德里克·"里克"·谢尔顿博士.D.

• 凯普斯通高级设计
• 保安行动(CS)
• 计算机操作系统(CS)
• 监督控制和关键基础设施系统(ECE)
• 算法分析(CS)
• 软件工程(CS/ECE)
• 当代计算机科学问题研讨会
• 数据、信息和知识(CS)
• 编程语言(CS)
• 网络和信息保障(CS/ECE)
• 软件规格及分析(CS)
• 软件需求分析及规格说明(CS)
• 软件系统工程的形式化方法
• 计算机架构(CS)
• 软件设计(CS)
• 计算机科学中的离散结构(CS/数学)
• 形式化方法:软件系统

• 资讯保障及保安
• 形式化方法，规范，模型检验，封闭形式和随机分析
• 高保证系统的软件需求、设计、开发和测试
• 加密密钥管理，供应链和认证
• 安全策略合规性、危害/漏洞和风险评估
• 网络物理系统，故障场景和渗透测试
• Cybernomics

谢尔登拥有超过35年的学术经验, 在行业和政府中担任各种角色，处理软件工程范围内的各种计算机科学问题, 嵌入式实时航空电子设备/车辆等领域的正式方法和信息安全, 能源输送系统(ICS), 供应链, 加密密钥管理. 他的专业知识涵盖了规范的各个主题, 设计, 测试, 证明/模型检查, 分析和随机分析和模拟, 评估(风险, 合规, 漏洞, 标准). 他发表了160多篇文章, 7 .有著作权的软件应用程序, 拥有3项专利，并在众多学术论文和期刊上担任编辑. 他曾在武汉大学任职. 中国湖北，美国. 孟斐斯，美国华盛顿州., U. 美国科罗拉多斯普林斯大学. 德州阿灵顿和R&橡树岭国家实验室、戴姆勒公司、洛克希德·马丁公司、雷神公司、明尼苏达部门的D职位. 运输和运输. 明尼苏达医院和医学院的. 他曾在美国宇航局兰利研究中心获得美国国家科学院NRC博士后学位. 也是美国宇航局艾姆斯研究中心的访问365滚球官网. 斯坦福大学. 他协助并参与了全国R运动&D推力，包括邀请演讲者, 专家, 关注发展的主持人, 验证和确认模型, 安全开发的应用与方法, 安全可靠的系统(个人简历).

书籍/章节

• Vishik, 克莱尔, 谢尔登, 弗雷德里克和奥特, 大卫, 《365体育滚球》,“确保电子业务流程:信息安全解决方案欧洲ISSE 2013的亮点章节., Eds.:赫尔穆特·雷默, 诺伯特•Pohlmann, 沃尔夫冈•施奈德, 施普林格Vieweg, 威斯巴登, pp133-47, 10月22日至23日. 2013.
• 联邦网络安全R&D项目推进，”编辑. 谢尔登,F.T.贾尼，A.克林斯，A. R . 阿伯克龙比.K., ACM Proc. 第八届网络安全与信息情报研究研讨会1月. 8- 10,13 (isbn 978-1-4503-1687-3).
• “网络安全与管理特刊简介”,“网络安全与管理专题”, 信息系统与电子商务管理学报, 施普林格·柏林(1617-9846), 特邀编辑Frederick T. 《365滚球官网》，2012年10月26日在线发布.
• 哈默德·奥赫拉维，弗雷德里克·T. 谢尔顿和约书亚·海恩斯, “在架构中使用数据二极管来支持可信赖的物理网络基础设施”，智能电网挑战的系统和优化方面章节, 书系列, 施普林格, 伦敦, 2013年7月31日.
• 《365滚球官网》，主编. 谢尔登,F.T.阿伯克龙比, R.K. Krings, A., ACM Proc. 第七届网络安全与信息会议. 情报研究小组10月. 12- 14,11 (isbn 978-1-4503-0945-5)
• 《365滚球官网》，主编. 谢尔登,F.T.，普罗威尔，S.J.克林斯，A. R . 阿伯克龙比.K., ACM Proc. 6日安. 网络安全和信息情报研究研讨会, 4月. 13-15, 2010 (isbn . 978-1-4503-0017-9)

期刊，杂志和会议论文

• A. A. Jillepalli D. 莱昂伯爵，Y. Chakhchoukh, M. Ashrafuzzaman B. K. 约翰逊,F. T. 谢尔登•J. Alves-Foss P. T. Tosic和M. A. 哈尼，“拱门。. HESTIA:用于培训和基础设施风险评估的高级和可扩展系统. 物联网与网络安全，2018年6月1日.
• A. A. Jillepalli D. 莱昂伯爵和F. T. 《365滚球官网》，Jr. 高校计算机科学，33:5,2018年5月.
• D. 莱昂伯爵，A.Q. Stalick,. A. Jillepalli, M.A. 哈尼和F.T. 谢尔登，《365体育滚球》，Jr. 《365滚球官网》，第11期，第3页. 286 - 300年9月. 2017.
• 林、陈、沈志东、陈、钱和谢尔登，弗雷德里克·T.“移动云计算中的数据完整性验证方案”，第2期. 网络与比较. 应用学报，77:1 (2017):146-51.
• 陈,问.Abdelwahed, S.莫里斯，T. 谢尔顿，F.T.基于模型的自主安全管理. 网络物理基础设施，“国际Jr .. 关键基础设施，2016,12 (4):273-294.
• 陈,问.阿伯克龙比, R.K.谢尔顿，F.T., 用平均失效成本量化工业控制系统可用性的风险评估，JAISCR, 5:3 (2015): 205-220.
• I.A. Oyewumi先生也是个.A. Jillepalli P. 理查森,M. Ashrafuzzaman B.K. 约翰逊,Y. Chakhchoukh, M.A. 哈尼,F.T. 谢尔登和D. 莱昂伯爵, 艾萨克:爱达荷州CPS智能电网网络安全试验台,IEEE德州电力与能源会议.，大学城，得克萨斯州，2月. 7-8, 2019.
• I.A. Oyewumi先生也是H. Challa,.A. Jillepalli P. 理查森,Y. Chakhchoukh B.K. 约翰逊,维. 莱昂伯爵，F.T. 谢尔顿和M.A. 哈尼, 基于攻击场景的爱达荷CPS智能电网网络安全试验台(ISAAC)验证,IEEE德州电力与能源会议.2月. 7-8, 2019.
• A.A. Jillepalli D. 莱昂伯爵，我.A. Oyewumi先生也是J.  Alves-Foss B.K. 约翰逊,C. L. 杰弗瑞,Y. Chakhchoukh, M.A. 哈尼和F.T. 谢尔登, “关键基础设施对敌感知风险的形式化自动化评估”,IEEE德州电力与能源会议.2月. 7-8, 2019.
• 阿伯克龙比, R.K.B.， 阿伯克龙比, T.吉勒帕利，A. 谢尔顿，F.T., “微电网灾害恢复分析:降低运营计划连续性的成本。,“Proc. HICSS简. ‘19.
• A. Jillepalli D. 莱昂伯爵，B.K. 约翰逊,Y. Chakhchoukh,我. A. Oyewumi先生也是米. Ashrafuzzaman F.T. 谢尔登•J.  阿尔维斯-福斯和M.A. 哈尼，“GERAS: IEEE 14总线潮流系统的整体网络物理系统模型”，程序. 恶意软件大会(MALCON)， 2018年10月22日至24日.
• Ashrafuzzaman, M.，贾米尔，H.M.Chakhchoukh, Y和谢尔登,F.T.，“智能电网网络攻击的最大努力损害缓解模型”，IEEE程序. COMPSAC东京，2018年7月23日至7日.
• 贾米尔,H. M.、某、某.赫肯登，R.B.杰弗里，C.L.谢尔顿，F.T.C厅.S. 彼得森，n.n., 使用vTutor为基于网络的学习编写自适应数字计算思维课程,“Proc. 第17届ICWL, 施普林格 Nature，泰国，8月. 22-14, 2018.
• M. Ashrafuzzaman Y. Chakhchoukh,.A. Jillepalli P.T. 除了D. 莱昂伯爵，F. T. 谢尔顿和B.K. Johnson，“利用深度学习检测对电网的隐形虚假数据注入攻击”，第2期. IEEE IWCMC, 2018年6月25-29日.
• A.A. Jillepalli D. 莱昂伯爵，M. Ashrafuzzaman Y. Chakhchoukh B.K. 约翰逊,F.T. 谢尔登•J.  Alves-Foss P.T. Tosic和M.A. 哈尼，“HESTIA: CPCS的对抗建模和风险评估”，第2期. IEEE IWCMC, 2018年6月25-29日
• 据T. 托西奇和弗雷德里克. 谢尔登, 论编程模型, 智能中间件, 下一代物联网的网络安全和自我修复能力,”阿德. 在英特尔. 系统与比较.， 施普林格 Nature CH AG，伦敦，2018年7月10-12日
• A.A. Jillepalli D. 莱昂伯爵，F.T. 谢尔顿和M. 哈尼, 《客户端加固:网络浏览器企业级加固指南,IEEE国际会议. 佛罗里达州奥兰多，11月. 6-10, ‘17.
• V.S. Koganti, M. Ashrafuzzaman,.A. 吉利帕利和F.T. 谢尔登, 网络物理控制系统安全管理的虚拟测试平台,IEEE第12届国际会议, 波多黎各10月. ‘17.
• A.A. Jillepalli D. 莱昂伯爵，M. 哈尼,F.T. 谢尔顿和R.K. 阿伯克龙比, NIST SP 800-82r2基于风险的网络物理控制系统有效网络安全管理框架的实施,“Proc. IEEE IWCMC, 2017年6月26-30日.
• Daniel 莱昂伯爵, Venkata A. Ananth Bhandari. 吉勒帕里和弗雷德里克. 谢尔登, 使用基于知识和策略的安全编排工具来降低浏览器泄露的风险,“Proc. IEEE计算机协会. 计算智能系列，雅典，12月6-9日. 2016.
• A.A. Jillepalli D. 莱昂伯爵，S. 斯坦纳和F.T. 谢尔登, HERMES:用于高粒度企业级安全浏览器配置管理的高级策略语言,“Proc. IEEE计算机协会. 计算智能系列(SSCI 2016)，雅典，12月6-9日. 2016.
• 阿卜杜拉·侯赛因，萨杰·G. 湿婆和F.T谢尔登, CSSR:云服务安全推荐,IEEE第11届世界服务大会-新兴技术轨道:可靠和安全的服务(DSS 2016), 旧金山, 美国, 6月26日- 7月3日, 2016.
• Abdullah Abuhussein, Faisal Alsubaei, Sajjan G. 湿婆和F.T谢尔登, “评估云服务中的安全和隐私," IEEE NATA-COMPSAC亚特兰大, 6月10 - 14, 2016.
• R.K. 阿伯克龙比, B.G. Schlicher和F.T. 谢尔登, 基于智能体博弈论仿真的AMI故障场景安全性分析,IEEE学报. HICSS-47, 2014年1月6日至9日.
• 谢尔登,F.T. 麦克唐纳，J。. Todd，“网络安全和管理特刊导论”，Jr. 的信息. 系统与电子商务管理，施普林格 Berlin (2012):429 - 431.
• 谢尔登,F.T.韦伯，J.M.， Yoo, S-M和Pan, W.D., “无线网络的不安全性,IEEE安全与隐私(互联网基础设施安全SI), 10:4, pp. 54-61, 2012年7月/ 8月.
• R. K. 阿伯克龙比,我.M. 蜂巢,年代.J. Prowell B.G. Schlicher和F.T. 《复杂系统故障的预警》，《365滚球官网》，第5卷第1页. 2011年6月1-16日(PDF).
• B. Aissa R. K. 阿伯克龙比 F. T. 谢尔顿和A. 米利, 定义和计算基于价值的网络安全措施,信息系统与电子商务, 施普林格, 伦敦:4月23日. '11.
• 谢尔登,F.T.，海弗利，L.M. 斯奎恰里尼，A., “使用人体生理学-免疫隐喻的可扩展可信计算”,IEEE安全与隐私, 2011年7月/ 8月9:3.
• 谢尔登,F.T.维西克，克莱尔，A.走向可信赖的系统:R&D Essentials，”IEEE Computer 43:9, 31-40, september. 2010.
• 艾莎，阿尼斯·本，阿伯克龙比，罗伯特·K., Y.谢尔顿，F.T. 和米利, 阿里, 量化安全威胁及其影响:理论与实践,《365滚球官网》, (施普林格, 伦敦:DOI: 10.1007/s11334-010-0123-2) 6:4, 269-281, 2010年3月(在线首次).
• 尾,Y.， Yoo, S-M, Gregory, D.A. 谢尔顿，F.T.，“使用量子叠加态的认证协议”，《365滚球官网》. 网络安全，(DOI: 10).1.1.159.[j]， 2009年9月2日，101-108. 2009.
• 谢尔登,F.T.，“测量类图之间的关系以评估复杂性”，2002. 软件维护 & 进化:研究 & 练习，18:5,333-350./ 10月. 2006.
• 尾,Y.， Yoo, S-M和谢尔登,F.T.，“量子计算机的简短调查”，《365体育滚球》杂志. 计算机与应用学报，卡尔加里28:3,227-233,2006.
• 米利,.谢尔顿，F.T.吉拉尼，L.L.Vinkurov, A.托马斯，A. 艾德，R.B., 将安全性建模为可靠性属性:一种基于细化的方法,《365滚球官网》, (施普林格伦敦, DOI: 10.1007/s11334-006-0023-7) 2:1, 9-48, 2006年3月.
• 网络安全及资讯情报工作小组会议录编辑: 8th (2013) 7th (2011) 6th  5th  4th  3rd  2nd 版本
• 文献计量学: h指数:20 | RG: 21 | ACM | DBLP | IEEE | 奥斯蒂.政府| ORCID | 斯高帕斯

• 应邀参加计算研究协会CCC科学政策研究所(LiSPI). DC. 
• 阿尔伯特·纳尔逊侯爵终身成就奖，表彰他的领导能力, 精益求精，在行业内长盛不衰.
• 当选IEEE/ACM资深会员.
• 重要的产学研政府校外研究项目资助
• 系兼职教员. 北京大学计算机科学与工程学院. 德克萨斯州的阿灵顿. 
• 重大事件奖(SEA) UT-Battelle/橡树岭国家实验室2002-13;
  • SEA表彰他在网络安全和信息情报研究小组(CSIIRW)的成长和成功中的领导作用 & 程序的椅子. 
  • SEA FUSEnet团队:来自科学博览会的预见与理解(前期项目描述|报告|短文):科学实验虚拟计算环境的设计与实现识别.
  • 为ORNL应对2011年4月的高级持续威胁网络攻击做出贡献.
  • SEA卓越的动态称重(WIM)商业化技术转移.
  • 动态称重(WIM)和动态自动车辆评估环境(AIMVEE)商业化技术转让卓越奖.
  • UT-Battelle关键贡献者奖(联邦实验室联盟奖)卓越技术转移
• IEEE技术专家安全、可靠性、网络安全和关键基础设施生存性
• 行政主任Nat. 网络闰年峰会(华盛顿. 主席和与会者向总统提交的报告. B. 奥巴马由联邦首席技术官(参见我们的IEEE计算机文章). Aneesh Chopra
• 为WIM/AIMVEE获得东南地区FLC技术转让奖
• ASEE奖学金:斯坦福大学/美国宇航局艾姆斯暑期教师研究助理/访问365滚球官网
• 杰出的Ph值.D. 西格玛十一学会UTA分会论文奖
• UTA工程学院. CSE:杰出研究博士.D. 学生
• 伊利诺伊大学CS系教师获得6美元.融资800万美元.9500万美元在Coeur d'Alene建立第三年BSCS, 2美元.100万美元用于IGEM-HERC拨款，题为“网络物理控制系统的安全管理”(与欧洲经委会共享).赛博军团700万:SFS pgm.
• 邀请参与者:第五届NASA Langley正式方法(LFM2000)研讨会和欧洲教育论坛学校参与者:正式方法 & 性能分析(FMPA2000)
• 授权专利: 1st | 2nd | 3rd