photo of Stephane Lafortune
 
Stephane Lafortune
    University of Michigan

Username:stephane
 
 
 
 
Home page:http://web.eecs.umich.edu/~stephane/
Bio:  St??phane Lafortune is a Professor of Electrical Engineering and Computer Science at the University of Michigan in Ann Arbor. He is an expert in the analysis and control of discrete event systems. In his recent work, he has applied discrete event systems techniques to supervisory control of cyber-physical systems and to privacy enforcement in networked systems.

Papers, Presentations and Reports Authored by Stephane Lafortune

  1. Demonstration of Location Privacy Enforcement using Obfuscation, Romulo Meira Goes, Sanjit Seshia, Stephane Lafortune, Gregory Willett, Nicholas Recker, Blake Rawlings, Christoforos Keroglou, 11, October, 2017. Posted on 12 Oct 2017.
  2. Privacy Aware Data Processing Using Partial Homomorphic Encryption, Yasser Shoukry, Rafael Valle, Konstantinos Gatsis, Stephane Lafortune, Mani Srivastava, Sanjit Seshia, Paulo Tabuad, George Pappas, October, 2016. Posted on 3 Nov 2016.
  3. Recent Progress on Privacy Enforcement through Obfuscation, Christoforos Keroglou, Stephane Lafortune, Sanjit Seshia, Yi-Chin Wu, Yidding Ji, Vasumathi Raman, 29, October, 2016. Posted on 28 Oct 2016.
  4. Obfuscator Synthesis for Privacy and Utility, Yi-Chin Wu, Vasu Raman, Stephane Lafortune, Sanjit Seshia, 8th NASA Formal Methods Symposium, June, 2016. Posted on 2 Mar 2016.
  5. Security and Privacy Breakout Session, Yi-Chin Wu, George Pappas, Stephane Lafortune, Sanjit Seshia, Alberto Sangiovanni-Vincentelli, Armin Wasicek, Alex Halderman, John D. Kubiatowicz, Antonio Iannopollo, Adrian Freed, October, 2015. Posted on 19 Oct 2015.
  6. Obfuscator Synthesis for Opacity, Yi-Chin Wu, Sanjit Seshia, Stephane Lafortune, October, 2015. Posted on 9 Oct 2015.
  7. A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems, Xiang Yin, Stephane Lafortune, IEEE Transactions on Automatic Control, 99, October, 2015. Posted on 6 Aug 2015.
  8. Synthesis of Opacity-Enforcing Insertion Functions that can be Publicly Known, Yi-Chin Wu, Stephane Lafortune, 54th Conference on Decision and Control, IEEE, 15, December, 2015. Posted on 24 Mar 2015.
  9. Q1 2015 TerraSwarm Quarterly Report Milestone #10, Edward A. Lee, Tajana Simunic Rosing, John Wawrzynek, Prabal Dutta, Anthony Rowe, Richard Murray, Jeffrey A. Bilmes, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Jan Rabaey, Douglas L. Jones, Stephane Lafortune, Alex Halderman, David Blaauw, Roozbeh Jafari, Carlos Guestrin, Emily B. Fox, Rahul Mangharam, George Pappas, Vijay Kumar, Bjoern Hartmann, John D. Kubiatowicz, TerraSwarm Research Center, February, 2015. Posted on 25 Feb 2015.
  10. Optimal Synthesis of Insertion Functions for Opacity Enforcement, Yi-Chin Wu, Stephane Lafortune, 30, October, 2014. Posted on 6 Nov 2014.
  11. A New Approach for Synthesizing Opacity-Enforcing Supervisors for Partially-Observed Discrete-Event Systems, Xiang Yin, Stephane Lafortune, 2015 American Control Conference (ACC), 1, July, 2015. Posted on 29 Sep 2014.
  12. Optimal Synthesis of Insertion Functions for Opacity Enforcement, Yi-Chin Wu, Stephane Lafortune, 16, September, 2014. Posted on 18 Sep 2014.
  13. Optimal Synthesis of Insertion Functions for Opacity Enforcement, Yi-Chin Wu, Stephane Lafortune, 16, September, 2014. Posted on 18 Sep 2014.
  14. Synthesis of Event Insertion Functions for Enforcement of Opacity Security Properties, Stephane Lafortune, Yi-Chin Wu, 16, September, 2014. Posted on 17 Sep 2014.
  15. Synthesis of Optimal Insertion Functions for Opacity Enforcement, Yi-Chin Wu, Stephane Lafortune, IEEE Transactions on Automatic Control, 2014. Posted on 2 Sep 2014.

Counts

  • 7 Journal articles.
  • 7 Conference papers.
  • 1 Technical report.
  • 4 Talk or presentations.
  • 4 Posters.

The counts above are from the publications database. The number of posters is derived from the presentations.

Note: A poster is a presentation that has the word 'poster' (case-insensitive) in the any of the text fields. Thus, the poster count might be somewhat inaccurate. The number of posters is deducted from the number of presentations and bother are reported.