@inproceedings{LI-MOD-2017,
  author = {L. W. {Li} and F. {Lugou} and L. {Apvrille}},
  title = {Security-Aware Modeling and Analysis for HW/SW Partitioning},
  booktitle = {5th International Conference on Model-Driven Engineering and Software Development (Modelsward)},
  address = {Porto, Portugal},
  year = 2017,
  month = feb,
  keywords = {Embedded Systems, Partitioning, ProVerif, Formal Verification},
  annote = {category=inproceedings language=en audience=1 state=toappear dept=comelec group=easi,labsoc documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=16677 id=16677}
}