Your guessing about dd is right. You can wipe the SD card out by the following command (let's assume, that your SD card is /dev/sdd):
Do not interrupt this command or it could possibly brick the SD card.
sudo dd if=/dev/zero of=/dev/sdd bs=8192
Note: If this command does not complete successfully and you have to abort it, then most likely it is recoverable with disk partition recovery programs covered in other posts.
It can take some time depending on size and speed of SD card. If you are convinced, that CIA would like to recover your files, then overwrite the SD card with urandom instead of zero:
sudo dd if=/dev/urandom of=/dev/sdd bs=8192
Note that the dd command from these examples will erase entire SD card, including the partition table. After using dd, you will need to recreate partitions on the SD card. You can do this by writing your Raspberry Pi disk image (which will already have the partitions set up), or with any partitioning tool like cfdisk, parted (my recommendation) or gparted.
And one more thing: be extremely careful when calling dd command. A typo in of= argument value can cause disaster.