570 If you have your own project that is related to security (must be |
570 If you have your own project that is related to security (must be |
571 something interesting), please propose it. We can then have a look |
571 something interesting), please propose it. We can then have a look |
572 whether it would be suitable for a project. |
572 whether it would be suitable for a project. |
573 </p> |
573 </p> |
574 |
574 |
|
575 <li> <H4>[CU10] Anything Interesting in the Areas</H4> |
|
576 |
|
577 <p> |
|
578 <ul> |
|
579 <li><A HREF="http://elm-lang.org">Elm</A> (a reactive functional language for animating webpages; have a look at the cool examples) |
|
580 <li><A HREF="http://www.smlserver.org/smltojs/">SMLtoJS</A> (a ML compiler to JavaScript; or anything else related to |
|
581 a sane language that compiles to JavaScript) |
|
582 <li>Any statistical data related to Bitcoins (in the spirit of this |
|
583 <A HREF="http://people.csail.mit.edu/spillai/data/papers/ bitcoin-transaction-graph-analysis.pdf">paper</A> or |
|
584 this <A HREF="https://eprint.iacr.org/2012/584.pdf">one</A>; this will probably require some extensive C knowledge or any |
|
585 other heavy-duty programming language) |
|
586 <li>anything realted to programming languages and formal methods, like |
|
587 <A HREF="http://matt.might.net/articles/intro-static-analysis/">static program analysis</A> |
|
588 </ul> |
|
589 </p> |
|
590 |
|
591 |
575 <li> <H4>Earlier Projects</H4> |
592 <li> <H4>Earlier Projects</H4> |
576 |
593 |
577 I am also open to project suggestions from you. You might find some inspiration from my earlier projects: |
594 I am also open to project suggestions from you. You might find some inspiration from my earlier projects: |
578 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/bsc-projects-12.html">BSc 2012/13</A>, |
595 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/bsc-projects-12.html">BSc 2012/13</A>, |
579 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/msc-projects-12.html">MSc 2012/13</A>, |
596 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/msc-projects-12.html">MSc 2012/13</A>, |