Thanks for the info. It seems the simplest way to decrypt the traffic is to use your dot11decrypt program. First, I downloaded the latest libtins zip file, extracted it, and rebuilt libtins and installed it. I then downloaded the dot11decrypt zip file and extracted it, then built dot11decrypt. Now I have the following problem:
If I run: sudo ./dot11decrypt wlan0 spa:mynetSSID:mynetpasswd
without putting wlan0 into monitor mode, I get the following output:
Using device: tap0
Device is up.
If I put wlan0 into monitor mode and then run dot11decrypt as above, I get:
Using device: tap0
Device is up.
[-] That device is not up
In neither case do I get any output when I run my program (after changing the interface from wlan0 to tap0, of course). Am I still missing something?