Loading...
机构名称:
¥ 2.0

我是系统安全研究人员。我的研究调查了软件和系统安全性的设计和评估,尤其是在新兴的计算平台以及它们运行的​​复杂物理环境上。为了实现我的研究目标,我将理论和实际问题与各种计算平台上的新算法方法联系起来。这些由安全驱动的科学问题提出了具有挑战性的问题,其中包括代表多个交互系统组件的行为,将不同的物理过程综合为代码分析,确定其复杂的安全性和隐私政策,以及正式推理系统组合性安全。

Z. Berkay Celik

Z. Berkay CelikPDF文件第1页

Z. Berkay CelikPDF文件第2页

Z. Berkay CelikPDF文件第3页

Z. Berkay CelikPDF文件第4页

Z. Berkay CelikPDF文件第5页

相关文件推荐