讲师
苏立峰
发表时间:2012-08-03 阅读次数:2733次

职业经验

STMicroelectronics(意法半导体)Rousset, 法国

研发工程师(安全系统架构) 2006.10-2010.3

为嵌入式电子系统设计外部内存数据的保护方案,防止重要数据(用户账号,密码…)被盗,防止重要程序的执行被篡改。通常只有CPU内部的数据是可以信任的,所以也被称为安全CPU平台。 涉及到的主要工作包括有:设计硬件密钥协处理器,该协处理器的软件层驱动,以及包括整个系统的安全性评估等。该方案能广泛应用于各类要求安全数据保护的电子计算系统,典型应用有机顶盒等等.

欧洲高级通信研究所 Sophia-Antipolis, 法国

研发工程师 2005.3- 2006.9

采用B方法为新一代Microkernal-L4做形式化建模,并书写形式化规范文档。工作目的是通过数学层面的逻辑验证来去除软件漏洞,最终强化操作系统的安全性,防止恶意软件入侵。

欧洲高级通信研究所 Sophia-Antipolis, 法国

实习工程师 2004.7- 2005.3

采用STMicroelectronics的 0.13 μm 工艺技术设计实现一块片上系统芯片,该芯片用于研究评估智能卡中加密算法(DES和AES)抵挡硬件差分功率进攻的有效性。 主要任务包括有实现各IP模块的互联,实现软硬件协同仿真,完成芯片逻辑物理综合直至tape-out。

教育经历

● Télécom ParisTech (Ecole Nationale Superieur des Télécommunication) Paris,法国

   电子工程博士学位 2006.10- 2010.3

   硕士学位 2003.8- 2004.12

● 同济大学 上海,中国

   电路与系统专业工学硕士 2001.10-2004.12

   通信与信息专业学士 1997.9- 2001.7

发表了以下主要论文

 ●“Hardware Mechanism and Performance Evaluation of Hierarchical Page-based Memory Bus Protection” in ESCS 2009 工作组会议, 排名第一, L.Su, S.Cerdan, A.Martinez, P.Guillemin, R.Pacalet

●“What is memory bus security?” in UST-IT 2007 欧洲信息安全工作组会议, L.Su, R.Pacalet

●“SecBus: Operating System Controlled Hierarchical Page-based Memory Bus Protection” in DATE’09, L.Su, S.Courcambeck, P.Guillemin, C.Schwarz, R.Pacalet

●“A DPSK Demodulation Method Based On RLS Algorithm” in 中国控制与自动化杂志 2004 issue (2), L.Su

 专利

 ●A cache-based method of hash-tree management for protecting data integrity”, 20100153732, L.Su

 

相关技能

●熟悉 Windows 95/98/ME/NT/2000/XP, Linux 和 Sun Solaris
●熟悉各类语言 VHDL, VHDL-AMS, B, VerilogHDL, C/C++, SystemC, Spice, Perl, TCL 和 Bash scripts
●熟悉一些电子设计工具: Cadence PKS, Cadence Encounter, Virtuoso, Modelsim, Calibre, Quartus II, Precision, ●ELDO, Synplify Pro, AtelierB, Hamster 和 MATLAB

 

工作涉及领域

● 信息安全,EDA 设计方法学,应用密码学,通信系统

 

 

 

 

 

 

 

 

Copyright © 2012 同济大学电子科学与技术系 技术支持:维程互联