Daniel,
Thanks for this note; I hadn't considered sending a note to the list
(I'm terrible @ publicity).
I couldn't second Daniel's recommendation more (and feel free to expand
or add your own views -- my title & blurb there is the result of five
minutes of thought and not meant to be prescriptive or limiting).
A lot of interesting ideas and expertise (from strong typing to
interesting hardware) has been floating around on this list, but I find
that it's difficult to work on specific things or build any momentum
without an excuse^H significant funding for students, infrastructure,
etc. YMMV.
I think this particular ideascale forum is a good way to shape DHS's
infosec research priorities over the next little while. If LangSec
themed work is a funding priority, this is one way that we can get from
the "Step 4" to "Step 5" that Dan Geer mentioned at the end of his
recent LangSec workshop keynote speech:
http://geer.tinho.net/geer.langsec.21v15.txt
Cheers,
Michael
On 6/29/15 6:11 PM, daniel wrote:
> Hi people
>
> I hope this note finds you well. The US DHS is asking the comp sec
> community for input also on cyber security projects/idea to
> prioritize R&D funding (everyone, also anonymous)
> http://scitech.ideascale.com/ <http://scitech.ideascale.com/>
>
> If you go to “A Trusted Cyber Future”, you’ll see Michael Locasto's
> "(Re)Engineering Critical Information Infrastructure Software Using
> Language-Theoretic Security (LangSec) Principles” suggestion.
>
> It would be useful to langsec progress if people registered (anon
> possible, non-US also) upvote the proposal and maybe leave a comment.
> As you will see, few people take the time to do this, so a couple of
> upvotes may make all the difference
>
> Thanks Daniel
>
>
>
>
>
>
>
> _______________________________________________ langsec-discuss
> mailing list langsec-discuss@mail.langsec.org
> https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
>
_______________________________________________
langsec-discuss mailing list
langsec-discuss@mail.langsec.org
https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
