Interesting question-- while it would be fantastic to thank them my personal feeling is that it is probably not the best to blow their cover considering how sensitive the program is.
If you really want to thank them, I would simply right the thank you on a card and hand it to them.